diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-08-30T14·53+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-08-30T14·53+0000 |
| commit | 80e722278ca03bf303961e2f27487dc98d042803 (patch) | |
| tree | 2388ec8b32f76de20353c713f2fe580a5aab5b08 /aterm-gc.supp | |
| parent | 20acd43c25a388f5c31c2ee601f1cac88cf12f7b (diff) | |
* When using the build hook, distinguish between the stderr of the
hook script proper, and the stdout/stderr of the builder. Only the latter should be saved in /nix/var/log/nix/drvs. * Allow the verbosity to be set through an option. * Added a flag --quiet to lower the verbosity level.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions