summaryrefslogtreecommitdiffstats
path: root/testsuite/external/lablgtk-2.14.2.patch
blob: 4824726a9555995dc97192001dd32eb63b3b1a28 (plain)
1
2
3
4
5
6
7
8
9
10
11
--- lablgtk-2.14.2/src/Makefile.orig	2012-07-31 17:37:12.000000000 +0200
+++ lablgtk-2.14.2/src/Makefile	2012-07-31 17:37:17.000000000 +0200
@@ -191,7 +191,7 @@
 .ml4.cmo:
 	$(CAMLC) -c -pp "$(CAMLP4O) -impl" -impl $<
 .cmxa.cmxs:
-	$(CAMLOPT) -verbose -o $@ -shared -linkall -I . \
+	$(CAMLOPT) -o $@ -shared -linkall -I . \
         -ccopt '$(filter -L%, $(DYNLINKLIBS))' $<
 
 #.ml4.ml: