diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-27 14:20:10 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-11-27 14:20:10 +0200 |
| commit | b71fa164192f1af8b702e1578cf202b510a9b281 (patch) | |
| tree | 99e3cc0965b2fce6fe1be4151eef1e1bb44af59f /build2/dist | |
| parent | b48666e580abf54d426d13840f49242aa2569bb2 (diff) | |
Add --dump <phase> option, omit state dumping from verbosity level 6
Diffstat (limited to 'build2/dist')
| -rw-r--r-- | build2/dist/operation.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build2/dist/operation.cxx b/build2/dist/operation.cxx index 96130b3..fda68f0 100644 --- a/build2/dist/operation.cxx +++ b/build2/dist/operation.cxx @@ -803,7 +803,7 @@ namespace build2 &dist_operation_pre, &load, // normal load &search, // normal search - nullptr, // no match (see execute()). + nullptr, // no match (see dist_execute()). &dist_execute, nullptr, // operation post nullptr, // meta-operation post |