summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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()