diff options
| author | Richard W.M. Jones <rjones@redhat.com> | 2010-09-24 18:54:37 +0100 |
|---|---|---|
| committer | Richard W.M. Jones <rjones@redhat.com> | 2010-09-24 19:25:06 +0100 |
| commit | c9c0ac7d362fd19214c2c5e5bb7dcd9059950887 (patch) | |
| tree | 6e5b1b2888baaf0bdb3b65d91d5f6f5bbef22f9c /generator/generator_python.ml | |
| parent | 840536ea5a0568296dfd3e483442c76b93c5a949 (diff) | |
Allow $TMPDIR to override most temporary directory uses.
Be more consistent in allowing the user to override use of the
temporary directory by specifying $TMPDIR. Also prefer P_tmpdir
macro (defined in <stdio.h>) if that is defined, rather than
hard-coding "/tmp" for the fallback location.
Diffstat (limited to 'generator/generator_python.ml')
0 files changed, 0 insertions, 0 deletions