prefer original TEMP from Windows, e.g. relevant for Isabelle distribution within read-only directory (due to its bundled Cygwin and /tmp inside of it);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE1df53737c59b: prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
- Branches
- Unknown
- Tags