diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 3ed1345d..7ddfa6e8 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -63,6 +63,8 @@ make dist # make -C "$base/doc/manuals" publish #fi +rm -rf $TOPDIR/firmware/bin/simtrace-cardem* + if [ "x$publish" = "x--publish" ]; then echo echo "=============== UPLOAD BUILD =============="