diff options
Diffstat (limited to 'O3-support.patch')
| -rw-r--r-- | O3-support.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/O3-support.patch b/O3-support.patch new file mode 100644 index 0000000..ab802cf --- /dev/null +++ b/O3-support.patch @@ -0,0 +1,20 @@ +--- a/Makefile ++++ b/Makefile +@@ -255,7 +261,7 @@ + OPTLEVEL = -O0 + else + ifeq ($(shell $(CXX) -E -Os - < /dev/null > /dev/null 2>&1 && echo fos),fos) +- OPTLEVEL = -Os ++ OPTLEVEL = -O3 + else + OPTLEVEL = -O3 + endif +@@ -266,7 +272,7 @@ + ifeq ($(CXXMACHINE), x86_64-w64-mingw32.static) + OPTLEVEL = -O3 + else +- OPTLEVEL = -Os ++ OPTLEVEL = -O3 + endif + endif + ifdef LTO |