diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-06-01T10·01+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-06-01T10·01+0000 |
commit | a443c7573b3d76a6db107e6de974205e605a2738 (patch) | |
tree | b1ef6fbae700612745e16d6d213c5546b7d42fa7 /scripts/show-duplication.pl | |
parent | b92a2e5cc2c4f6a14ceea75dfd3bcf5f64743b2f (diff) |
* Hack to allow derivations to disable chroot builds by setting the
attribute "__noChroot = true" (requested by Rob).
Diffstat (limited to 'scripts/show-duplication.pl')
0 files changed, 0 insertions, 0 deletions