diff options
Diffstat (limited to 'build/bin/module.cxx')
| -rw-r--r-- | build/bin/module.cxx | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build/bin/module.cxx b/build/bin/module.cxx index 7dd5f00..e03c658 100644 --- a/build/bin/module.cxx +++ b/build/bin/module.cxx @@ -65,6 +65,13 @@ namespace build rs.insert<lib> (update_id, "bin.lib", lib_); rs.insert<lib> (clean_id, "bin.lib", lib_); + //@@ Should we check if the install module was loaded + // (by checking if install operation is registered + // for this project)? If we do that, then install + // will have to be loaded before bin. Perhaps we + // should enforce loading of all operation-defining + // modules before all others? + // rs.insert<lib> (install_id, "bin.lib", lib_); } |