summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-15 02:03:18 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-15 02:03:18 +0100
commitd15a8216ab6564a9f07d1ac8fb3a4d39cb96989d (patch)
tree6e51f3bfd4522163bc2767d81f1bccf4a60474ec
parentc8118e8227b684b76b5933f24631bef594300718 (diff)
downloadpetitcaml-d15a8216ab6564a9f07d1ac8fb3a4d39cb96989d.tar.gz
petitcaml-d15a8216ab6564a9f07d1ac8fb3a4d39cb96989d.tar.bz2
[petitcaml] Add test target to Makefile
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 4329146..16228ab 100644
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,9 @@ FLAGS=
all: $(BIN)
+test: $(BIN)
+ @python runtests.py
+
$(BIN):$(CMI) $(CMO)
ocamlc $(FLAGS) -o $(BIN) $(CMO)