-
Simon Marlow authored
Rename the make variable TMPDIR to DEFAULT_TMPDIR. This fixes the problem that saying 'TMPDIR=/foo make' in an fptools tree didn't work, because GNU make is in the habit of overriding an environment variable with the value of the corresponding make variable in a sub-process.
5a574720