summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-23 13:08:55 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-23 13:08:55 +0100
commite2422918885ad440b226651e6432ec207d0c9347 (patch)
treeb3fa305f7d6f68db61fe9c41ae565c273014a5c7
parent2f8c52edfd91c41ec1912bff084c3c1b125bd5e8 (diff)
downloadpetitcaml-e2422918885ad440b226651e6432ec207d0c9347.tar.gz
petitcaml-e2422918885ad440b226651e6432ec207d0c9347.tar.bz2
[petitcaml] Check whether petit-caml is available before runnint tests
-rw-r--r--runtests.py5
1 files changed, 5 insertions, 0 deletions
diff --git a/runtests.py b/runtests.py
index 2ffcffb..e7ab87b 100644
--- a/runtests.py
+++ b/runtests.py
@@ -96,4 +96,9 @@ def run_tests():
map(run_test, tests)
if __name__ == "__main__":
+ if not os.path.isfile("./petit-caml"):
+ print NOTOK, \
+ bold("Petit-Caml unavailable - please build it first"), \
+ NOTOK
+ raise SystemExit
run_tests()