diff options
Diffstat (limited to 'runtests.py')
| -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() |