diff options
Diffstat (limited to 'build2/b.cxx')
-rw-r--r-- | build2/b.cxx | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/build2/b.cxx b/build2/b.cxx index 0522d47..ca7af1c 100644 --- a/build2/b.cxx +++ b/build2/b.cxx @@ -794,10 +794,13 @@ main (int argc, char* argv[]) if (verb >= 5) { trace << "bootstrapped " << tn << ':'; - trace << " out_base: " << out_base; - trace << " src_base: " << src_base; - trace << " out_root: " << out_root; - trace << " src_root: " << src_root; + trace << " out_base: " << out_base; + trace << " src_base: " << src_base; + trace << " out_root: " << out_root; + trace << " src_root: " << src_root; + + if (auto l = rs.vars["amalgamation"]) + trace << " amalgamat: " << cast<dir_path> (l); } const path& bfn (ops.buildfile ()); |