diff options
| author | Vadim Kochan <vadim4j@gmail.com> | 2015-11-22 21:09:39 +0200 |
|---|---|---|
| committer | Tobias Klauser <tklauser@distanz.ch> | 2015-11-24 10:24:29 +0100 |
| commit | 6995883a9b6f5260977d448a6ba044013d68b935 (patch) | |
| tree | 931c7d7826303902a1ce6958c6f969b07bb20703 /trafgen.zsh | |
| parent | 5e7e8b46fc84d8010e11d3c43d8c2b742028375f (diff) | |
cpp: Use /tmp folder for output files
There might be a case when input file is located
in read-only directory and cpp fails when it tries to
create output file there, so use /tmp folder for that
as usually it should be writeable for any user.
Signed-off-by: Vadim Kochan <vadim4j@gmail.com>
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
Diffstat (limited to 'trafgen.zsh')
0 files changed, 0 insertions, 0 deletions