contrib/jenkins.sh: "RES:$?" -> "DONE"

Don't try to print the exit code of make. It's either always 0 or the
program aborts before reaching the echo due to the "set -e". Removing $?
here makes that more obvious.
This commit is contained in:
Oliver Smith 2022-07-12 12:08:54 +02:00
parent cbff8e75d0
commit 7f8de1ae23
1 changed files with 1 additions and 1 deletions

View File

@ -20,7 +20,7 @@ for proj in $PROJECTS; do
cd "$TOPDIR/projects/$proj"
make clean
make
echo "=============== $proj RES:$? =============="
echo "=============== $proj DONE =============="
if [ "x$publish" = "x--publish" ]; then
echo