diff options
Diffstat (limited to 'mathcomp/Makefile.test-suite.coq.local')
| -rw-r--r-- | mathcomp/Makefile.test-suite.coq.local | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/mathcomp/Makefile.test-suite.coq.local b/mathcomp/Makefile.test-suite.coq.local index 5a1ec43..6f9454b 100644 --- a/mathcomp/Makefile.test-suite.coq.local +++ b/mathcomp/Makefile.test-suite.coq.local @@ -10,8 +10,7 @@ post-all:: $(OUTPUT_ARTIFACTS) @for f in $(OUTPUT_TESTS); do\ if [ -e $$f.out.$(COQ_VERSION) ]; then REFERENCE=$$f.out.$(COQ_VERSION);\ else REFERENCE=$$f.out; fi;\ - diff -u $$REFERENCE $$f.out.new > /dev/null;\ - if [ $$? -ne 0 ]; \ + if ! diff -q "$$REFERENCE" "$$f.out.new"; \ then echo "Output of file $$f differs!";\ diff -u $$REFERENCE $$f.out.new;\ exit 1;\ @@ -19,4 +18,4 @@ post-all:: $(OUTPUT_ARTIFACTS) done $(OUTPUT_ARTIFACTS): %.v.out.new: %.v all/all.vo - $(COQC) $(COQFLAGS) $(COQLIBS) $< > $<.out.new
\ No newline at end of file + $(COQC) $(COQFLAGS) $(COQLIBS) $< > $<.out.new |