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