<div dir="ltr">Also, dumpobj should get the same treatment, but it doesn't have a command line parser, so it needs more work than macro11. I might get to it later if no one else does, but it might take me a while.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Mar 2, 2020 at 4:37 PM Kevin Handy <<a href="mailto:khandy21yo@gmail.com">khandy21yo@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Go ahead and use it as you want. I think it would be great to have it in the mainline. Attribute it as you wish, as it is such a simple change.<div><br></div><div>I didn't reformat the code as I wanted the changes to be minimal, and easy to diff. Reformatting it for mainline would be good.</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Feb 29, 2020 at 1:32 PM Rhialto <<a href="mailto:rhialto@falu.nl" target="_blank">rhialto@falu.nl</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Sat 29 Feb 2020 at 12:54:55 -0700, Kevin Handy wrote:<br>
> This wasn't an optimal solution to me, so I changed the '#if RT11' code to<br>
> 'if (rt11)', and added a couple of command line options (-rt11, and -rsx)<br>
> so that both formats were available without a recompile.<br>
<br>
Is it ok if I put those changes (slightly cleaned up) at the macro11<br>
version at git://<a href="http://github.com/Rhialto/macro11.git" rel="noreferrer" target="_blank">github.com/Rhialto/macro11.git</a> ? How shall I attribute<br>
it?<br>
<br>
The simtools version used git-subtree to incorporate that into simtools;<br>
I'll have to look up how to update it :)<br>
<br>
-Olaf.<br>
-- <br>
Olaf 'Rhialto' Seibert -- rhialto at falu dot nl<br>
___  Anyone who is capable of getting themselves made President should on<br>
\X/  no account be allowed to do the job.       --Douglas Adams, "THGTTG"<br>
</blockquote></div>
</blockquote></div>