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