[m-rev.] for review: start using the new code in file_names.m

[Julien Fischer]

On Sun, 11 Jun 2023, Julien Fischer wrote:

> Some updates on this.
>
> On Thu, 8 Jun 2023, Zoltan Somogyi wrote:
>
>>  On 2023-06-07 13:37 +02:00 CEST, "Julien Fischer" <jfischer at opturion.com>
>>  wrote:
>>>  I will set up some bootchecks using the infrastructure I use to test the
>>>  releases.  (If you have specific things you want to check let me know,
>>>  the machine I am using will be considerably quicker than the one that
>>>  runs the nightly tests.)
>>
>>  Thanks for that. The things I think should be done that my laptop cannot
>>  do
>>  in a reasonably manner, or at all, are
>>
>>  - bootchecks in csharp and java grades *without* -jN, so that we don't get
>>   effectively random failures from the compiler trying to read files that
>>   another
>>   compiler invocation hasn't written yet. This should allow checking
>>   whether
>>   this diff introduces any *new* test case failures.
>>
>>   By the way, my java bootcheck finished with the expected number of
>>   failures.
>
> I did not encounter any issues when bootstrapping in the Java grade.
>
>>  - bootchecks on windows, to exercise e.g. the building of .bat files.
>
> I am in the process of testing things on Windows now.

Building .bat works.

Julien.