diff options
| author | Gabriel Kerneis | 2013-10-10 16:30:35 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-10 16:30:35 +0100 |
| commit | 8bf0a31a9523b2cbb84f60f8f2c82eea4ad2586a (patch) | |
| tree | f06a48d2a7cb35c0d4318ac709a119157d0342ab | |
| parent | 366b64825ce20ea5f9f3e0da298618f15450613f (diff) | |
make test target
| -rw-r--r-- | src/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 4ecf9ba7..325c326c 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,8 +1,11 @@ -.PHONY: all clean +.PHONY: all test clean all: ocamlbuild main.native test/run_tests.native +test: all + ./run_tests.native + clean: -ocamlbuild -clean -rm -rf _build |