diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-25T10·21+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-25T10·21+0000 |
| commit | e4883211f9482ec3255bd4e682635493e03466ca (patch) | |
| tree | bf9fb56e81f370bd2cc74096dd5de59ee42a99f1 /doc/manual/Makefile.am | |
| parent | 795d9f8b08a266ef99f9668f9b060db1282cd622 (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 'doc/manual/Makefile.am')
0 files changed, 0 insertions, 0 deletions