[m-rev.] for review: derive getopt.m and getopt_io.m from same template

Julien Fischer jfischer at opturion.com
Sun Sep 20 22:59:11 AEST 2020

Hi Zoltan,

On Sun, 20 Sep 2020, Zoltan Somogyi wrote:

> 2020-09-19 13:53 GMT+10:00 "Julien Fischer" <jfischer at opturion.com>:
>> After we moved to git I kept the test_mercury script around for
>> reference purposes; it can probably be deleted now as the stuff managing
>> the test server is in now in the mercury-testing repository.
> Just to be sure: you mean github.com/Mercury-Language/testing?
>> It should be a small adjustment, so just give me a heads up when you
>> commit.
> I don't want to screw up any cron jobs, so I am attaching the diff now,
> and leave it up to you whether you either
> - add the build_srcdist2 script, and the tar2 target in the diff, next to the
>  existing script and target, or
> - replace both the script and the target.

I've added the build_srcdist2 and tar2 target for now; I've tested them
manually and everything seems fine.  Once I am satisfied everything is
working properly with the new script and target I will delete the old
ones and rename the new ones.


More information about the reviews mailing list