[m-rev.] for review: derive getopt.m and getopt_io.m from same template
jfischer at opturion.com
Sun Sep 20 22:59:11 AEST 2020
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
> 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