diff options
Diffstat (limited to 'lib/runner.py')
-rw-r--r-- | lib/runner.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/runner.py b/lib/runner.py index 19b88f3..baf4d16 100644 --- a/lib/runner.py +++ b/lib/runner.py @@ -155,6 +155,12 @@ class ShellMonitor: pass def build(arch, app, opts = []): + command = ['make', 'arch={}'.format(arch), 'app={}'.format(app), 'clean'] + command.extend(opts) + res = subprocess.run(command, stdout = subprocess.PIPE, stderr = subprocess.PIPE, + universal_newlines = True) + if res.returncode != 0: + raise RuntimeError('Build failure: ' + res.stderr) command = ['make', '-B', 'arch={}'.format(arch), 'app={}'.format(app)] command.extend(opts) res = subprocess.run(command, stdout = subprocess.PIPE, stderr = subprocess.PIPE, |