diff options
| -rw-r--r-- | mathcomp/Makefile.test-suite.coq.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mathcomp/Makefile.test-suite.coq.local b/mathcomp/Makefile.test-suite.coq.local index 119eff1..9db49c5 100644 --- a/mathcomp/Makefile.test-suite.coq.local +++ b/mathcomp/Makefile.test-suite.coq.local @@ -16,5 +16,5 @@ post-all:: $(OUTPUT_ARTIFACTS) fi;\ done -$(OUTPUT_ARTIFACTS): %.v.out.new: %.v all/all.vo +$(OUTPUT_ARTIFACTS): %.v.out.new: %.v $(COQC) $(COQFLAGS) $(COQLIBS) $< > $<.out.new |