diff options
| -rwxr-xr-x | build_odin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_odin.sh b/build_odin.sh index 8e35d7291..dbf9a9d06 100755 --- a/build_odin.sh +++ b/build_odin.sh @@ -154,7 +154,7 @@ if [ $# -eq 0 ]; then run_demo : ${PROGRAM:=$0} - echo "\nDebug compiler built. Note: run \"$PROGRAM release\" or \"$PROGRAM release-native\" if you want a faster, release mode compiler." + printf "\nDebug compiler built. Note: run \"$PROGRAM release\" or \"$PROGRAM release-native\" if you want a faster, release mode compiler." elif [ $# -eq 1 ]; then case $1 in report) |