logging: stringly typed fixes

numbers would have the intended space stripped

report_timing -setup_margin0

instead of:

report_timing -setup_margin 0

Signed-off-by: Øyvind Harboe <[email protected]>

Author: oharboe

flow/scripts/util.tcl

@@ -1,6 +1,6 @@
 proc log_cmd {cmd args} {
   # log the command, escape arguments with spaces
-  puts -nonewline "$cmd[join [lmap arg $args {expr {[string match {* *} $arg] ? " \"$arg\"" : " $arg"}}] ""]"
+  puts -nonewline "$cmd[join [lmap arg $args {format " %s" [expr {[string match {* *} $arg] ? "\"$arg\"" : "$arg"}]}] ""]"
   set start [clock seconds]
   $cmd {*}$args
   set time [expr {[clock seconds] - $start}]