#!/usr/bin/env bash # jenkins build helper script for ice40-usbtrace. This is how we build on jenkins.osmocom.org. # # environment variables: # * WITH_MANUALS: build manual PDFs if set to "1" # * PUBLISH: upload manuals after building if set to "1" (ignored without WITH_MANUALS = "1") set -e set -x TOPDIR=$(pwd) publish="$1" # we assume that PATH includes the path to the respective toolchain # firmware build FW_DIRS="firmware/boot firmware/main" for d in $FW_DIRS; do echo echo "=============== $d FIRMWARE ==============" make -C $d clean make -C $d done # The argument '--publish' is used to trigger publication/upload of firmware if [ "x$publish" = "x--publish" ]; then echo echo "=============== UPLOAD FIRMWARE ==============" cat > "/build/known_hosts" <