diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-08T17·26+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-08T17·26+0000 |
| commit | 06c4929958c60b085cbe18a558df9ef58c8f8689 (patch) | |
| tree | b55e088f602e06f769148f32b6cf35e6a0426376 /misc | |
| parent | 9dbfe242e3bdbfc7728a36c8a2b9fbbea2c8ed68 (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 'misc')
0 files changed, 0 insertions, 0 deletions