diff options
author | Jason Gross <jgross@mit.edu> | 2018-04-29 14:09:35 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-04-30 01:02:13 -0400 |
commit | d4129abb2c9a73cc7d367e57fa6ae22224aca71e (patch) | |
tree | 8f0e884ffb38076f38d3a0036d7840f3f0b893be /Makefile | |
parent | 149aee10f5c4ff9ce8f29f2df2660fd38ac3ba7c (diff) |
Don't allow coqprime and coqprime-all to run in parallel
We only want one invocation of submake at a time.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -210,7 +210,7 @@ export COQPATH coqprime: $(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) src/Coqprime/PrimalityTest/Zp.vo -coqprime-all: +coqprime-all: coqprime $(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) clean-coqprime: |