diff options
Diffstat (limited to 'devel/ninja/files/patch-configure.py')
| -rw-r--r-- | devel/ninja/files/patch-configure.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/ninja/files/patch-configure.py b/devel/ninja/files/patch-configure.py new file mode 100644 index 000000000000..fb706d745a14 --- /dev/null +++ b/devel/ninja/files/patch-configure.py @@ -0,0 +1,11 @@ +--- configure.py.orig 2012-06-26 19:09:41.000000000 +0200 ++++ configure.py 2012-06-26 19:09:54.000000000 +0200 +@@ -117,7 +117,7 @@ + cflags += ['/Ox', '/DNDEBUG', '/GL'] + ldflags += ['/LTCG', '/OPT:REF', '/OPT:ICF'] + else: +- cflags = ['-g', '-Wall', '-Wextra', ++ cflags = ['-Wall', '-Wextra', + '-Wno-deprecated', + '-Wno-unused-parameter', + '-fno-rtti',
\ No newline at end of file |