about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-12-08T17·26+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-12-08T17·26+0000
commit06c4929958c60b085cbe18a558df9ef58c8f8689 (patch)
treeb55e088f602e06f769148f32b6cf35e6a0426376 /doc
parent9dbfe242e3bdbfc7728a36c8a2b9fbbea2c8ed68 (diff)
* Some refactoring.
* Throw more exceptions as BuildErrors instead of Errors.  This
  matters when --keep-going is turned on.  (A BuildError is caught
  and terminates the goal in question, an Error terminates the
  program.)

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