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 /build2/config | |
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 'build2/config')
-rw-r--r-- | build2/config/operation.cxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build2/config/operation.cxx b/build2/config/operation.cxx index 7bed621..ac18d82 100644 --- a/build2/config/operation.cxx +++ b/build2/config/operation.cxx @@ -402,6 +402,7 @@ namespace build2 "configure", "configure", "configuring", + "configured", "is configured", nullptr, // meta-operation pre &configure_operation_pre, @@ -627,6 +628,7 @@ namespace build2 "disfigure", "disfigure", "disfiguring", + "disfigured", "is disfigured", nullptr, // meta-operation pre &disfigure_operation_pre, |