diff options
Diffstat (limited to 'build')
-rwxr-xr-x | build | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build b/build index 6a654fd0..f53f0619 100755 --- a/build +++ b/build @@ -98,6 +98,7 @@ grep -h "^\s*void test_" bootstrap.cc |sed 's/^\s*void \(.*\)() {.*/"\1",/' |u older_than bootstrap_bin bootstrap.cc *_list && { $CXX $CFLAGS bootstrap.cc -o bootstrap_bin + echo } exit 0 |