diff options
Diffstat (limited to 'patch.diff')
| -rw-r--r-- | patch.diff | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/patch.diff b/patch.diff new file mode 100644 index 000000000000..2a8dd6c206b6 --- /dev/null +++ b/patch.diff @@ -0,0 +1,14 @@ +diff --git a/lib/Makefile b/lib/Makefile +index b5934e5..8c6373b 100644 +--- a/lib/Makefile ++++ b/lib/Makefile +@@ -13,7 +13,8 @@ + #* $Id: Makefile,v 1.4 2002-04-22 11:50:47 xleroy Exp $ + + include ../config/Makefile +-include $(OCAMLLIB)/Makefile.config ++#include $(OCAMLLIB)/Makefile.config ++include /usr/lib/ocaml/Makefile.config + + BYTEOBJS=com.cmo + BYTELIB=com.cma |