From 7f8de1ae23773675ca130bc5dfa6e018032cce06 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Tue, 12 Jul 2022 12:08:54 +0200 Subject: [PATCH] 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. --- contrib/jenkins.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 3ec1a64..649128c 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -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