diff options
Diffstat (limited to 'testsuite/makefiles/Makefile.okbad')
| -rw-r--r-- | testsuite/makefiles/Makefile.okbad | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/makefiles/Makefile.okbad b/testsuite/makefiles/Makefile.okbad index 7f4ef7f698..9016dab3fe 100644 --- a/testsuite/makefiles/Makefile.okbad +++ b/testsuite/makefiles/Makefile.okbad @@ -10,7 +10,7 @@ compile: else \ test -f `basename $$file ml`mli && $(OCAMLC) -c -w a `basename $$file ml`mli; \ $(OCAMLC) -c -w a $$file 2> /dev/null || (echo " => failed" && exit 1); \ - test -f `basename $$file ml`reference && $(OCAMLC) `basename $$file ml`cmo && ./a.out > `basename $$file ml`result && (diff -q `basename $$file ml`reference `basename $$file ml`result || (echo " => failed" && exit 1)); \ + test -f `basename $$file ml`reference && $(OCAMLC) `basename $$file ml`cmo && ./a.out > `basename $$file ml`result && ($(DIFF) `basename $$file ml`reference `basename $$file ml`result || (echo " => failed" && exit 1)); \ echo " => passed"; \ fi; \ done |