mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-09 12:23:04 +00:00
TMPDIR, TMP and TEMP, in that order, to determinate where the temp files shall be created. Before trying to use the temp dir where the environment variable points to check that the dir really exists. If not default to the cwd as temp dir. Copyright timestamp adjusted.
7.9 KiB
7.9 KiB