diff --git a/libs/re/patches/004-prevent-optimization-meddling.patch b/libs/re/patches/004-prevent-optimization-meddling.patch new file mode 100644 index 0000000..3b7ba4f --- /dev/null +++ b/libs/re/patches/004-prevent-optimization-meddling.patch @@ -0,0 +1,10 @@ +--- a/mk/re.mk ++++ b/mk/re.mk +@@ -43,7 +43,6 @@ + + ifneq ($(RELEASE),) + CFLAGS += -DRELEASE +-OPT_SPEED=1 + endif + +