diff options
Diffstat (limited to 'testing/libpg_query/dont-override-opt-level.patch')
-rw-r--r-- | testing/libpg_query/dont-override-opt-level.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/testing/libpg_query/dont-override-opt-level.patch b/testing/libpg_query/dont-override-opt-level.patch deleted file mode 100644 index 29208ea6c68..00000000000 --- a/testing/libpg_query/dont-override-opt-level.patch +++ /dev/null @@ -1,13 +0,0 @@ -Don't force -O flag, respect our CFLAGS. - ---- a/Makefile -+++ b/Makefile -@@ -38,7 +38,7 @@ - ifeq ($(VALGRIND),1) - CFLAGS_OPT_LEVEL = -O0 - endif --override CFLAGS += $(CFLAGS_OPT_LEVEL) -+#override CFLAGS += $(CFLAGS_OPT_LEVEL) - - ifeq ($(DEBUG),1) - # We always add -g, so this only has to enable assertion checking |