diff options
Diffstat (limited to 'community/ocaml/050_all_objinfoldflags.patch')
| -rw-r--r-- | community/ocaml/050_all_objinfoldflags.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/community/ocaml/050_all_objinfoldflags.patch b/community/ocaml/050_all_objinfoldflags.patch deleted file mode 100644 index e7b2fc170fb..00000000000 --- a/community/ocaml/050_all_objinfoldflags.patch +++ /dev/null @@ -1,13 +0,0 @@ -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 \ |