From e2422918885ad440b226651e6432ec207d0c9347 Mon Sep 17 00:00:00 2001
From: Guillaume Seguin <guillaume@segu.in>
Date: Fri, 23 Jan 2009 13:08:55 +0100
Subject: [petitcaml] Check whether petit-caml is available before runnint
 tests

---
 runtests.py | 5 +++++
 1 file changed, 5 insertions(+)

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()
-- 
cgit v1.1