colin comments

2019-07-22 16:35:15 +00:00
parent 59bd39a335
commit 8646283a17
2 changed files with 2 additions and 2 deletions
--- a/scripts/build-toolchains.sh
+++ b/scripts/build-toolchains.sh
@@ -50,7 +50,7 @@ do
            ;;
        -h | -H | --help)
            usage
-            exit
+            exit 3
            ;;
        --*) echo "ERROR: bad option $1"
            usage