diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 1cabcc1..0ca9786 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -5,4 +5,7 @@ PKG= bigarray compiler-libs.bytecomp compiler-libs.common PKG+= compiler-libs.toplevel PROG= tamasheq +tests: $(PROG) + ./run_tests.sh + include ostumake/gnu.ocaml.prog.mk |