diff options
| author | 2025-11-30 18:41:06 +0100 | |
|---|---|---|
| committer | 2025-11-30 18:41:06 +0100 | |
| commit | eb81938b26ae463e299bbf3c735cd0b2df2fae0d (patch) | |
| tree | b075ce18e788b5abccbf5759356f1131eb154939 /bootstrap.sh | |
| parent | 8a66609df9b96ed293b7f27910993135be76b14d (diff) | |
driver: add -run option like tcc
convenient for quick testing
Diffstat (limited to 'bootstrap.sh')
| -rwxr-xr-x | bootstrap.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index 56f0477..e4acdc4 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -1,11 +1,11 @@ #!/bin/env sh -set -euo pipefail +set -eo pipefail cc=gcc cflags="-std=c11" src=$(grep -o '\([_A-Za-z0-9/]\)\+\.c' < Makefile) X() { - echo "> $@" | sed -s 's/\([^ ]\+\.c \?\)\{10\}$/.../' + echo "> $@" | ([ x"$V" == x1 ] && cat || sed -s 's/\([^ ]\+\.c \?\)\{10\}$/.../') $@ } echo "== Stage 0 (compiling with $cc) ==" |