diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 4887da26..bf755b6e 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -54,4 +54,20 @@ make clean make make clean +if [ "x$publish" = "x--publish" ]; then + echo + echo "=============== UPLOAD BUILD ==============" + mkdir out/ + cp firmware/bin/*.bin out/ + + cat > "$WORKSPACE/known_hosts" <