diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-22T20·12+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-22T20·12+0000 |
| commit | a88144215c263e62528108dfae1e781058344ef2 (patch) | |
| tree | ff44455c3a5a5d4e6b3a556c78cc1511f7630378 /doc | |
| parent | 56b98c3857b89d4f81f0127c53cfce6d8e48a71f (diff) | |
* Remove write permission from output paths after they have been built.
* Point $HOME to a non-existing path when building to prevent certain tools (such as wget) from falling back on /etc/passwd to locate the home directory (which we don't want them to look at since it's not declared as an input).
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions