<div dir="ltr"><div dir="ltr">On Tue, Feb 5, 2019 at 12:15 PM Martin Storsjö <<a href="mailto:martin@martin.st" target="_blank">martin@martin.st</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Tue, 5 Feb 2019, Rui Ueyama wrote:<br>
<br>
> For completeness, why don't you add both -insert-timestamp and<br>
> -no-insert-timestamp?<br>
<br>
To be honest, I hadn't really looked much into these options, I just added <br>
a testcase to the patch the original author had posted on bugzilla.<br>
<br>
Would that then be e.g. something like this?<br>
<br>
   if (auto *Arg = Args.getLastArg(OPT_insert_timestamp,<br>
                                   OPT_no_insert_timestamp))<br>
     if (Arg->getOption().getID() == OPT_no_insert_timestamp)<br>
       Add("-timestamp:0");<br></blockquote><div><br></div><div>Args has a convenient function, so the code can be:</div><div><br></div><div>if (Args.hasFlag(OPT_insert_timestamp, OPT_no_insert_timestamp, false))</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
// Martin<br>
<br>
</blockquote></div></div>