diff --git a/tools/idf.py b/tools/idf.py index 430f1ce0ba..b4ea9bead8 100755 --- a/tools/idf.py +++ b/tools/idf.py @@ -90,6 +90,7 @@ def _run_tool(tool_name, args, cwd): return "'" + arg + "'" return arg + args = [str(arg) for arg in args] display_args = " ".join(quote_arg(arg) for arg in args) print("Running %s in directory %s" % (tool_name, quote_arg(cwd))) print('Executing "%s"...' % str(display_args))