> On Oct 28, 2022, at 11:32 AM, Paul Smith <psmith@xxxxxxx> 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
