diff --git a/Meta/serenity.sh b/Meta/serenity.sh index 49307f5889..3a932c76ed 100755 --- a/Meta/serenity.sh +++ b/Meta/serenity.sh @@ -93,6 +93,10 @@ case "$1" in TOOLCHAIN_TYPE="$1"; shift ;; *) + if [ -n "$1" ]; then + echo "WARNING: unknown toolchain '$1'. Defaulting to GNU." + echo " Valid values are 'Clang', 'GNU' (default)" + fi TOOLCHAIN_TYPE="GNU" ;; esac