diff options
| author | Guillaume Seguin <guillaume@segu.in> | 2009-01-23 13:08:55 +0100 |
|---|---|---|
| committer | Guillaume Seguin <guillaume@segu.in> | 2009-01-23 13:08:55 +0100 |
| commit | e2422918885ad440b226651e6432ec207d0c9347 (patch) | |
| tree | b3fa305f7d6f68db61fe9c41ae565c273014a5c7 | |
| parent | 2f8c52edfd91c41ec1912bff084c3c1b125bd5e8 (diff) | |
| download | petitcaml-e2422918885ad440b226651e6432ec207d0c9347.tar.gz petitcaml-e2422918885ad440b226651e6432ec207d0c9347.tar.bz2 | |
[petitcaml] Check whether petit-caml is available before runnint tests
| -rw-r--r-- | runtests.py | 5 |
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() |