diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-02-10 08:15:48 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-02-13 12:42:42 +0200 |
| commit | abccaf9596461215fce0e32322133fb6c39be44f (patch) | |
| tree | 3fc16a6e6142d65e6b47ae686ab845cc164478cc /doc/buildfile | |
| parent | bcb2a89e111a918a48a132a2a29e0c26d724591d (diff) | |
Implement parallel error propagation, keep_going mode
Keep going is the default but there is now the -s|--serial-stop that makes
the driver run serially and stop at first error.
Also fix some lockups, other minor improvements/features.
Diffstat (limited to 'doc/buildfile')
0 files changed, 0 insertions, 0 deletions