From 28ef3b736ef3fa84f65f95f81ac686eb6a299f82 Mon Sep 17 00:00:00 2001 From: Evan Martin Date: Tue, 6 Mar 2012 13:42:47 -0800 Subject: drop rtti via -fno-rtti; we don't use it --- configure.py | 1 + 1 file changed, 1 insertion(+) 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,)] -- cgit v0.12