From 06be24f32f45b4dd7cd492ef49a700f63071d07c Mon Sep 17 00:00:00 2001 From: David Brown Date: Wed, 7 Dec 2016 17:06:52 +0000 Subject: [PATCH] Working on build system --- src/tools/autobuild/build-oberon.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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