summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2017-07-19 09:57:53 +0200
committeralainfrisch <alain@frisch.fr>2017-07-19 09:57:53 +0200
commitbc7d2d8ff240206a92421646d20fb9652f12b441 (patch)
tree59d452fa9b8c1425a8409bb8ad0cf09406872935
parent760d47f9d931f4f130b17766ad436ec92fa49c77 (diff)
downloadocaml-fix_mingw.tar.gz
Try to fix MinGW build.fix_mingw
-rw-r--r--config/Makefile.mingw7
1 files changed, 0 insertions, 7 deletions
diff --git a/config/Makefile.mingw b/config/Makefile.mingw
index b38479a13e..7ee6c352b6 100644
--- a/config/Makefile.mingw
+++ b/config/Makefile.mingw
@@ -114,14 +114,7 @@ CFLAGS = -O -mms-bitfields -Wall -Wno-unused -fno-tree-vrp
# and only works on GCC 4.2 and later.
CPPFLAGS = -DCAML_NAME_SPACE
OCAMLC_CFLAGS = -O -mms-bitfields
-||||||| merged common ancestors
-BYTECC=$(TOOLPREF)gcc -O -mms-bitfields
-BYTECODE_C_COMPILER=$(BYTECC)
-### Additional compile-time options for $(BYTECC). (For static linking.)
-BYTECCCOMPOPTS=-DCAML_NAME_SPACE -Wall -Wno-unused
-
-### Additional compile-time options for $(BYTECC). (For debug version.)
BYTECCDBGCOMPOPTS=-g
LDFLAGS=