diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 5ce59931..bdf2b390 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -36,7 +36,6 @@ for build in $BUILDS; do echo echo "=============== $board / $app START ==============" make BOARD="$board" APP="$app" - make BOARD="$board" APP="$app" clean echo "=============== $board / $app RES:$? ==============" done @@ -56,19 +55,25 @@ make make clean if [ "x$publish" = "x--publish" ]; then - echo - echo "=============== UPLOAD BUILD ==============" - mkdir out/ - cp firmware/bin/*.bin out/ + echo + echo "=============== UPLOAD BUILD ==============" - cat > "$WORKSPACE/known_hosts" < "$WORKSPACE/known_hosts" <