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 /make | |
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 'make')
0 files changed, 0 insertions, 0 deletions