Mercurial > cpdt > repo
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 >>