diff options
| author |  Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-16 09:38:44 -0500 |
|---|---|---|
| committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-11-16 09:38:44 -0500 |
| commit | e09768e3bc8ff60972cc7cbf49e4a12e2b1c9235 (patch) | |
| tree | c157d9ebecf5f5ef769ba0a17818a66f380a2b78 /Mainpage.dox | |
| parent | f7e73f1bf900346676e84a597a146b11dd7ac5dc (diff) | |
handle make errors ---> exit, don't run ctest
Diffstat (limited to 'Mainpage.dox')
0 files changed, 0 insertions, 0 deletions