diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-05-19 11:14:21 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-05-19 11:14:21 +0200 |
commit | ffaf9794efe344a6af27aaf3d69500bbf857559f (patch) | |
tree | 7102f7b5d5c28daf3cb6d24d6211d4aa7d31e3c4 /build2/module.cxx | |
parent | bd3fb4a1324228b768bfa1f34ab4ce12539eb45b (diff) |
Set <module>.booted variable for booted but not yet loaded modules
Diffstat (limited to 'build2/module.cxx')
-rw-r--r-- | build2/module.cxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build2/module.cxx b/build2/module.cxx index 9994c9b..6ff3636 100644 --- a/build2/module.cxx +++ b/build2/module.cxx @@ -48,6 +48,8 @@ namespace build2 i = lm.emplace (name, module_state {true, false, mf.init, nullptr, loc}).first; i->second.first = mf.boot (rs, loc, i->second.module); + + rs.assign (var_pool.rw (rs).insert (name + ".booted")) = true; } bool |