diff --git a/bin/compile-launcher.sh b/bin/compile-launcher.sh index c084fd8..c3b1a6d 100755 --- a/bin/compile-launcher.sh +++ b/bin/compile-launcher.sh @@ -15,8 +15,8 @@ mkdir -p build compile() { compiler=$1 command -v "$compiler" >/dev/null 2>&1 || { - echo "[WARNING] Skipping invocation: $@" - return + echo "[ERROR] No compiler installed: $compiler" + exit 1 } shift (set -x; "$compiler" \