diff --git a/src/tools/autobuild/build-oberon.sh b/src/tools/autobuild/build-oberon.sh
index 90a37d1b..5f26c409 100644
--- a/src/tools/autobuild/build-oberon.sh
+++ b/src/tools/autobuild/build-oberon.sh
@@ -8,8 +8,9 @@
 
 if test "$1" = "sudo"; then sudo=sudo; else sudo=""; fi
 
-echo Testing: \$1="$1", \$2="$2", \$3="$3", \$sudo="$sudo"
-exit
+echo ""
+echo === build-oberon.sh: \$1="$1", \$2="$2", \$3="$3", \$sudo="$sudo" ===
+echo """
 
 set -x
 cd $2