# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1324060091 18000
# Node ID 4550dedad73a335f5cfb6b8be27cf6c62f8bc47f
# Parent  e0c5b91e29681f9e735ae8b32092af3c0a67ff56
Change make invocations to work properly with -j

diff -r e0c5b91e2968 -r 4550dedad73a src/Large.v
--- 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
 >>