[Carl sent me the file listing off-list, thanks! I will analyze it in due course.]
> [...] and make test with a single job (to avoid race conditions that > have given me trouble in the past): Interesting. When is the 'past'? This shouldn't happen today, and it would be great if you could try a `-jXX' make option in the future so that we can see if you really get a failure. > now on to your requested steps: Ah, my steps were not intended to be used additionally but instead :-) > Everything completed without error. This is good. Regarding the `cp -l` issue: Irrespective of the faulty implementation on macOS it turns out that option `-l` isn't portable at all, as I was told by the autoconf people. I'm going to replace it with something else that also works across file system boundaries (which even a working `cp -l` does not). Werner