diff options
Diffstat (limited to 'build_until')
| -rwxr-xr-x | build_until | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_until b/build_until index 42d44bc7..77c217dd 100755 --- a/build_until +++ b/build_until @@ -12,4 +12,4 @@ make --no-print-directory autogenerated_lists cat /dev/null $(./enumerate/enumerate --until $1 |grep '.mu$') > core.mu -CFLAGS=${CFLAGS:-"-g -O3"} make +CXXFLAGS=${CXXFLAGS:-"-g -O3"} make |