diff options
| author | Michael Schwarz <michi.schwarz@gmail.com> | 2015-09-11 21:39:45 +0200 |
|---|---|---|
| committer | Michael Schwarz <michi.schwarz@gmail.com> | 2015-09-16 01:40:00 +0200 |
| commit | 987fa08ce66809cfd2389042b27508a66bfa99a0 (patch) | |
| tree | 810dcdbe3379026733a8d6f6f2c0245565ed69d3 /support/asymptote | |
| parent | 63632560b6f80f91818c6bd6449cd7f8d6c4135b (diff) | |
| download | pogojig-987fa08ce66809cfd2389042b27508a66bfa99a0.tar.gz pogojig-987fa08ce66809cfd2389042b27508a66bfa99a0.tar.bz2 pogojig-987fa08ce66809cfd2389042b27508a66bfa99a0.zip | |
New workaround for temp dir on different device.
Currently, on setups where the project dir is on a different file system as the system temporary directory, a temporary directory is instead created on the project dir. This is not very nice.
With this change, we still create temporary files in the system temporary directory but copy instead of move files from and to the temporary directory, if necessary, which solves the problems.
Diffstat (limited to 'support/asymptote')
0 files changed, 0 insertions, 0 deletions