diff options
Diffstat (limited to '')
| -rw-r--r-- | config/run_spidermonkey_checks.py | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/config/run_spidermonkey_checks.py b/config/run_spidermonkey_checks.py new file mode 100644 index 0000000000..0f842d9d70 --- /dev/null +++ b/config/run_spidermonkey_checks.py @@ -0,0 +1,15 @@ +# This Source Code Form is subject to the terms of the Mozilla Public +# License, v. 2.0. If a copy of the MPL was not distributed with this +# file, You can obtain one at http://mozilla.org/MPL/2.0/. + +from __future__ import absolute_import +import buildconfig +import subprocess +import sys + + +def main(output, lib_file, *scripts): + for script in scripts: + retcode = subprocess.call([sys.executable, script], cwd=buildconfig.topsrcdir) + if retcode != 0: + raise Exception(script + " failed") |