diff options
| -rwxr-xr-x | build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build b/build index b4caa99d..ac65bf9f 100755 --- a/build +++ b/build @@ -9,7 +9,7 @@ set -e # stop immediately on error # $ ./build --until 050 UNTIL_LAYER=${2:-zzz} -test $CXX || export CXX=c++ +test $CXX || export CXX=c++ test $CC || export CC=cc test $CFLAGS || export CFLAGS="-g -O3" export CFLAGS="$CFLAGS -Wall -Wextra -ftrapv -fno-strict-aliasing" @@ -19,7 +19,7 @@ older_than() { target=$1 shift if [ ! -e $target ] - then + then #? echo "$target doesn't exist" echo "updating $target" >&2 return 0 # success |