diff options
| author | Pixel <pixel@nobis-crew.org> | 2011-12-04 11:41:19 -0800 |
|---|---|---|
| committer | Pixel <pixel@nobis-crew.org> | 2011-12-04 11:41:19 -0800 |
| commit | f99192cb59bb3e09ae4841bb790c57969fbe2003 (patch) | |
| tree | 9e531456408abba0532522fe4371d6ab4b128f6c /src/TaskMan.cc | |
| parent | c39471409ed91e320b834979053e76738a58d6fc (diff) | |
Making sure that if a test fails, the 'make' command stops
Diffstat (limited to 'src/TaskMan.cc')
0 files changed, 0 insertions, 0 deletions