diff options
Diffstat (limited to 'testsuite/makefiles/Makefile.common')
| -rw-r--r-- | testsuite/makefiles/Makefile.common | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/makefiles/Makefile.common b/testsuite/makefiles/Makefile.common index b4cb3ad035..151046a7a0 100644 --- a/testsuite/makefiles/Makefile.common +++ b/testsuite/makefiles/Makefile.common @@ -4,6 +4,7 @@ TOPDIR=$(BASEDIR)/.. include $(TOPDIR)/config/Makefile +DIFF=diff -q BOOTDIR=$(TOPDIR)/boot OCAMLRUN=$(BOOTDIR)/ocamlrun$(EXE) OCAML=$(OCAMLRUN) $(TOPDIR)/ocaml$(EXE) -I $(TOPDIR)/stdlib |