diff options
| author | 2026-02-21 12:35:55 +0100 | |
|---|---|---|
| committer | 2026-02-21 12:35:55 +0100 | |
| commit | 8aa0c6a5526a69b7f1b992990db59b275dfc2d80 (patch) | |
| tree | fbe2e86eefa82ffc681445e991998f9b12a521f7 /bootstrap.sh | |
| parent | 8dfd823f9f8b4d9bc43af473ab2758b3f1cc2012 (diff) | |
project documentation
Diffstat (limited to 'bootstrap.sh')
| -rwxr-xr-x | bootstrap.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index 1761ac5..b2f3fa9 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -27,3 +27,5 @@ echo echo "== Stage 2 (compiling with stage 1 output) ==" X ./antcc1 $opt $cflags -o antcc2 $src X md5sum antcc2 + +(X cmp antcc1 antcc2) && echo ok. || (echo 'bootstrap FAIL!'; exit 1) |