diff --git a/scripts/projects.py b/scripts/projects.py index 0d07bdd1..40be26d5 100644 --- a/scripts/projects.py +++ b/scripts/projects.py @@ -554,7 +554,7 @@ class Projects(object): p.wait() print('`' + delim + ' <') if p.returncode: - print(make_cmd + ' failed') + print(' '.join(make_cmd) + ' failed') raise Exception(time.strftime("%Y-%m-%d %H:%M") + ": failed to make target " + target + " in module " + module + " below base " + self.projs_root) def run_make_on_modules(modules, order, target):