> On Oct 28, 2022, at 11:32 AM, Paul Smith <psm...@gnu.org> wrote:
> The error tells you that when make started it found the TMPDIR
> environment variable was set to that path.  Then when make tried to
> access that path, it did not exist.
> 
> In this release you can see that if we can't use the TMPDIR value, we
> fall back to a default value.  I'm not sure this is correct; there's an
> argument to be made that if the user's requested location for a
> temporary directory cannot be used then we should exit and should not
> pick a different one behind their back.  I'm undecided about this.

Another option is to quietly try to create the TMPDIR directory like "mkdir -p".
The user specifically requested it, so it makes sense to try to honor it.

--- David A. Wheeler


Reply via email to