summaryrefslogtreecommitdiff
blob: a1307b9b487210ce96713bccc192ade15396b8d1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
--- wserver/Makefile.old	2011-03-11 13:47:04.000000000 +0100
+++ wserver/Makefile	2011-03-11 13:47:20.000000000 +0100
@@ -5,7 +5,8 @@
 OBJS=wserver.cmo
 
 all:: pa_macro5.cmo $(OBJS)
-opt:: pa_macro5.cmo $(OBJS:.cmo=.cmx)
+opt:: pa_macro5.cmo
+	$(MAKE) $(OBJS:.cmo=.cmx)
 
 pa_macro5.cmo: pa_macro5.ml
 	camlp5r pa_extend.cmo q_MLast.cmo -o pa_macro5.ppo pa_macro5.ml