diff options
Diffstat (limited to 'community/ocaml/050_all_objinfoldflags.patch')
-rw-r--r-- | community/ocaml/050_all_objinfoldflags.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/community/ocaml/050_all_objinfoldflags.patch b/community/ocaml/050_all_objinfoldflags.patch new file mode 100644 index 0000000000..e7b2fc170f --- /dev/null +++ b/community/ocaml/050_all_objinfoldflags.patch @@ -0,0 +1,13 @@ +Index: ocaml-4.03.0+beta1/tools/Makefile.shared +=================================================================== +--- ocaml-4.03.0+beta1.orig/tools/Makefile.shared ++++ ocaml-4.03.0+beta1/tools/Makefile.shared +@@ -273,7 +273,7 @@ CCOUT = -o $(EMPTY) + endif + + objinfo_helper$(EXE): objinfo_helper.c ../config/s.h +- $(BYTECC) $(CCOUT)objinfo_helper$(EXE) $(BYTECCCOMPOPTS) \ ++ $(MKEXE) $(CCOUT)objinfo_helper$(EXE) $(BYTECCCOMPOPTS) \ + $(DEF_SYMBOL_PREFIX) $(LIBBFD_INCLUDE) objinfo_helper.c $(LIBBFD_LINK) + + OBJINFO=../compilerlibs/ocamlcommon.cma \ |