diff --git a/Meta/serenity.sh b/Meta/serenity.sh index c3fe97e30b..cf2858e785 100755 --- a/Meta/serenity.sh +++ b/Meta/serenity.sh @@ -8,7 +8,7 @@ print_help() { cat <&2 echo "ERROR: unknown toolchain '${TOOLCHAIN_TYPE}'." + exit 1 +fi +CMAKE_ARGS+=( "-DSERENITY_TOOLCHAIN=$TOOLCHAIN_TYPE" ) CMD_ARGS=( "$@" )