diff options
Diffstat (limited to 'testsuite/tests/callback/Makefile')
| -rw-r--r-- | testsuite/tests/callback/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/callback/Makefile b/testsuite/tests/callback/Makefile index bc846fe657..06ad39c50c 100644 --- a/testsuite/tests/callback/Makefile +++ b/testsuite/tests/callback/Makefile @@ -12,7 +12,7 @@ run-byte: common @$(OCAMLC) -c tcallback.ml @$(OCAMLC) -o ./program -custom unix.cma callbackprim.$(O) tcallback.cmo @./program > bytecode.result - @diff -q reference bytecode.result || (echo " => failed" && exit 1) + @$(DIFF) reference bytecode.result || (echo " => failed" && exit 1) @echo " => passed" run-opt: common @@ -20,7 +20,7 @@ run-opt: common @$(OCAMLOPT) -c tcallback.ml @$(OCAMLOPT) -o ./program unix.cmxa callbackprim.$(O) tcallback.cmx @./program > native.result - @diff -q reference native.result || (echo " => failed" && exit 1) + @$(DIFF) reference native.result || (echo " => failed" && exit 1) @echo " => passed" promote: defaultpromote |