diff options
Diffstat (limited to 'build3')
| -rwxr-xr-x | build3 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build3 b/build3 index 2563bdfe..0d997f6f 100755 --- a/build3 +++ b/build3 @@ -9,7 +9,7 @@ set -e # stop immediately on error # $ CFLAGS=-g ./build3 test "$CXX" || export CXX=c++ test "$CC" || export CC=cc -test "$CFLAGS" || export CFLAGS="-g -O3" +test "$CFLAGS" || export CFLAGS="-g -O2" export CFLAGS="$CFLAGS -Wall -Wextra -ftrapv -fno-strict-aliasing" # Outline: @@ -138,7 +138,7 @@ older_than mu.cc $LAYERS enumerate/enumerate tangle/tangle && { } older_than cleave/cleave cleave/cleave.cc && { - $CXX -O3 -Wall -Wextra -fno-strict-aliasing cleave/cleave.cc -o cleave/cleave + $CXX $CFLAGS cleave/cleave.cc -o cleave/cleave rm -rf .build } |