1 files changed, 10 insertions, 0 deletions
diff --git a/build2/config/utility.cxx b/build2/config/utility.cxx
index b73e852..45417f1 100644
--- a/build2/config/utility.cxx
+++ b/build2/config/utility.cxx
@@ -170,5 +170,15 @@ namespace build2
           assert (j->flags == flags);
       }
     }
+
+    void
+    save_module (scope& r, const char* name, int prio)
+    {
+      if (current_mif->id != configure_id)
+        return;
+
+      if (module* m = r.modules.lookup<module> (module::name))
+        m->saved_modules.insert (string ("config.") += name, prio);
+    }
   }
 }