diff options
Diffstat (limited to 'testing/ocaml/050_all_objinfoldflags.patch')
| -rw-r--r-- | testing/ocaml/050_all_objinfoldflags.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testing/ocaml/050_all_objinfoldflags.patch b/testing/ocaml/050_all_objinfoldflags.patch new file mode 100644 index 0000000000..3c1ff9f46a --- /dev/null +++ b/testing/ocaml/050_all_objinfoldflags.patch @@ -0,0 +1,13 @@ +Index: ocaml-3.12.0/tools/Makefile.shared +=================================================================== +--- ocaml-3.12.0.orig/tools/Makefile.shared ++++ ocaml-3.12.0/tools/Makefile.shared +@@ -229,7 +229,7 @@ beforedepend:: opnames.ml + # Display info on compiled files + + objinfo_helper$(EXE): objinfo_helper.c ../config/s.h +- $(BYTECC) -o objinfo_helper$(EXE) $(BYTECCCOMPOPTS) \ ++ $(MKEXE) -o objinfo_helper$(EXE) $(BYTECCCOMPOPTS) \ + objinfo_helper.c $(LIBBFD_LINK) + + OBJINFO=../utils/misc.cmo ../utils/config.cmo ../bytecomp/bytesections.cmo \ |