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