diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-27 16:03:03 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-27 16:03:03 +0000 |
commit | 9cc0da84533f1ced2ed89ea807ac18b1078f7f88 (patch) | |
tree | dd960c86541b3730d683332833b25b67a4294d2f /aterm-gc.supp | |
parent | 99dc3e613a2ce30474fff92151abf165d017c26d (diff) |
* Create a /tmp with 1777 permission in the chroot. Some builders
need a writable /tmp (they don't respect $TMPDIR).
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions