runner: Run make clean before rebuilding

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,