diff options
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: |