diff options
author | Evan Martin <martine@danga.com> | 2012-03-06 21:42:47 (GMT) |
---|---|---|
committer | Evan Martin <martine@danga.com> | 2012-03-06 21:42:47 (GMT) |
commit | 28ef3b736ef3fa84f65f95f81ac686eb6a299f82 (patch) | |
tree | eb5faa7c3f3b325098f2a21d43478736dc877cea | |
parent | 265db7f31a340342228983089a51800ccfba43d4 (diff) | |
download | Ninja-28ef3b736ef3fa84f65f95f81ac686eb6a299f82.zip Ninja-28ef3b736ef3fa84f65f95f81ac686eb6a299f82.tar.gz Ninja-28ef3b736ef3fa84f65f95f81ac686eb6a299f82.tar.bz2 |
drop rtti via -fno-rtti; we don't use it
-rwxr-xr-x | configure.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.py b/configure.py index ca8ba74..9c9d108 100755 --- a/configure.py +++ b/configure.py @@ -114,6 +114,7 @@ else: cflags = ['-g', '-Wall', '-Wextra', '-Wno-deprecated', '-Wno-unused-parameter', + '-fno-rtti', '-fno-exceptions', '-fvisibility=hidden', '-pipe', "'-DNINJA_PYTHON=\"%s\"'" % (options.with_python,)] |