logcmd: Only strip quotes on single arg

YosysHQ · Aug 17, 2024 · 398588e · 398588e
1 parent db90d1a
commit 398588e
Showing 1 changed file with 9 additions and 6 deletions.
diff --git a/passes/cmds/logcmd.cc b/passes/cmds/logcmd.cc
@@ -93,12 +93,15 @@ struct LogPass : public Pass {
 		if (push) { log_push(); return; }
 		if (pop)  { log_pop(); return; }
 
-		for (; argidx < args.size(); argidx++)
-			text += args[argidx] + ' ';
-		if (!text.empty()) text.resize(text.size()-1);
-
-		if (text.size() > 1 && text[0] == '"' && text[text.size()-1] == '"')
-			text = text.substr(1, text.size()-2);
+		text = args[argidx++];
+		if (argidx < args.size()) {
+			for (; argidx < args.size(); argidx++) {
+				text += ' ' + args[argidx];
+			}
+		} else {
+			if (text.size() > 1 && text[0] == '"' && text[text.size()-1] == '"')
+				text = text.substr(1, text.size()-2);
+		}
 
 		const char *fmtline = newline ? "%s\n" : "%s";