diff src/Large.v @ 369:4550dedad73a

Change make invocations to work properly with -j
author Adam Chlipala <adam@chlipala.net>
date Fri, 16 Dec 2011 13:28:11 -0500
parents e0c5b91e2968
children d1276004eec9
line wrap: on
line diff
--- a/src/Large.v	Wed Nov 09 15:26:50 2011 -0500
+++ b/src/Large.v	Fri Dec 16 13:28:11 2011 -0500
@@ -756,13 +756,13 @@
 .PHONY: coq clean
 
 coq: Makefile.coq
-        make -f Makefile.coq
+        $(MAKE) -f Makefile.coq
 
 Makefile.coq: Makefile $(VS)
         coq_makefile -R . Lib $(VS) -o Makefile.coq
 
 clean:: Makefile.coq
-        make -f Makefile.coq clean
+        $(MAKE) -f Makefile.coq clean
         rm -f Makefile.coq
 >>
 
@@ -785,13 +785,13 @@
 .PHONY: coq clean
 
 coq: Makefile.coq
-        make -f Makefile.coq
+        $(MAKE) -f Makefile.coq
 
 Makefile.coq: Makefile $(VS)
         coq_makefile -R LIB Lib -R . Client $(VS) -o Makefile.coq
 
 clean:: Makefile.coq
-        make -f Makefile.coq clean
+        $(MAKE) -f Makefile.coq clean
         rm -f Makefile.coq
 >>