diff options
Diffstat (limited to 'openlibm_mingw64.patch')
| -rw-r--r-- | openlibm_mingw64.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/openlibm_mingw64.patch b/openlibm_mingw64.patch new file mode 100644 index 000000000000..2eeea53598c8 --- /dev/null +++ b/openlibm_mingw64.patch @@ -0,0 +1,12 @@ +diff --unified --recursive --text --color openlibm-0.7.0/Make.inc openlibm-0.7.0.new/Make.inc +--- openlibm-0.7.0/Make.inc 2019-12-10 03:43:44.000000000 +0100 ++++ openlibm-0.7.0.new/Make.inc 2020-01-24 10:26:02.822334200 +0100 +@@ -3,7 +3,7 @@ + # Default build rule for any Makefile in this project: all + default: all + +-OS := $(shell uname) ++OS := WINNT + # Do not forget to bump SOMINOR when changing VERSION, + # and SOMAJOR when breaking ABI in a backward-incompatible way + VERSION = 0.7.0 |