diff options
Diffstat (limited to 'testsuite/makefiles/Makefile.one')
| -rw-r--r-- | testsuite/makefiles/Makefile.one | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/makefiles/Makefile.one b/testsuite/makefiles/Makefile.one index 53ac84888d..338b39460e 100644 --- a/testsuite/makefiles/Makefile.one +++ b/testsuite/makefiles/Makefile.one @@ -30,10 +30,10 @@ compile: $(ML_FILES) $(CMO_FILES) $(CMX_FILES) $(MAIN_MODULE).cmo $(MAIN_MODULE) run: @printf " ... testing with ocamlc" @./program.byte $(EXEC_ARGS) > $(MAIN_MODULE).result || (echo " => failed" && exit 1) - @diff -q $(MAIN_MODULE).reference $(MAIN_MODULE).result > /dev/null || (echo " => failed" && exit 1) + @$(DIFF) $(MAIN_MODULE).reference $(MAIN_MODULE).result > /dev/null || (echo " => failed" && exit 1) @printf " ocamlopt" @./program.native $(EXEC_ARGS) > $(MAIN_MODULE).result || (echo " => failed" && exit 1) - @diff -q $(MAIN_MODULE).reference $(MAIN_MODULE).result > /dev/null || (echo " => failed" && exit 1) + @$(DIFF) $(MAIN_MODULE).reference $(MAIN_MODULE).result > /dev/null || (echo " => failed" && exit 1) @echo " => passed" promote: defaultpromote |