diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-27T16·03+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-27T16·03+0000 |
| commit | 9cc0da84533f1ced2ed89ea807ac18b1078f7f88 (patch) | |
| tree | dd960c86541b3730d683332833b25b67a4294d2f /externals | |
| 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 'externals')
0 files changed, 0 insertions, 0 deletions