Hi Peter,
Since you currently have timing files in local format, the
easiest thing to do is probably to add surrounding asterisks
for the empty runs. For example, if the current file has one
row of times, but is to become run 5 of 19, then add '*' on 4
rows before the times and '*' on 14 rows after the times.
I do not see any advantage to using global times, and global
times do not work with '*' characters (otherwise they would be
local).
Converting from local to global times is easy (consider using
"timing_tool.py -local_to_global"), but I do not think that
would be helpful in this case.
- rick
