about summary refs log tree commit diff
path: root/misc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-06-25T10·21+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-06-25T10·21+0000
commite4883211f9482ec3255bd4e682635493e03466ca (patch)
treebf9fb56e81f370bd2cc74096dd5de59ee42a99f1 /misc
parent795d9f8b08a266ef99f9668f9b060db1282cd622 (diff)
* Don't throw an exception when a build fails. Just terminate the
  goal and allow the problem to be handled elsewhere (e.g., at
  top-level).

Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions