diff --git a/runscripts/workflow.py b/runscripts/workflow.py index 816f14d5c..0cf446ff4 100644 --- a/runscripts/workflow.py +++ b/runscripts/workflow.py @@ -542,6 +542,7 @@ def main(): "--cwd", os.path.dirname(os.path.dirname(__file__)), "-e", + runtime_image_name, "make", "clean", "compile",