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 /configure.py | |
| 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
Diffstat (limited to 'configure.py')
| -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,)] |