From a8fed9bcf8daa319ae86f33198530b8e170e2b00 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Fri, 5 Jul 2019 08:00:09 +0200 Subject: runner: Run make clean before rebuilding --- lib/runner.py | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'lib') 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, -- cgit v1.2.3