diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-11 15:50:22 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-11 15:50:22 +0100 |
commit | ace1c44ae9db1c21b6a6945ed1fd34d8c0340f47 (patch) | |
tree | b6aa1d0a4f8e087b57b25486d7f37e277af3376b | |
parent | 7b1dd5bcec1db5360bd690ca7c04811012035e19 (diff) |
Prevent lit tests from running on OSX/Linux if mono is not in
the user's PATH
-rw-r--r-- | Test/lit.site.cfg | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Test/lit.site.cfg b/Test/lit.site.cfg index e5ac6593..5cd4719c 100644 --- a/Test/lit.site.cfg +++ b/Test/lit.site.cfg @@ -73,6 +73,8 @@ if not os.path.exists(boogieExecutable): if os.name == 'posix': boogieExecutable = 'mono ' + boogieExecutable + if lit.util.which('mono') == None: + lit_config.fatal('Cannot find mono. Make sure it is your PATH') # Expected output does not contain logo boogieExecutable += ' -nologo' |