aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-01-13 16:35:43 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-01-13 16:35:43 +0000
commitff9af107d3aa1362af906972c490773eeaaad4b5 (patch)
tree1478366b613551a2744a3802b1c74f081bf2a013 /scripts
parent3495d153b317a0853abd7114f29b44517f7c3813 (diff)
* Option `-B' to always show the output of builders, regardless of
verbosity level.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions