dist/engine/metadata.cpp

343 /// \param user_config Runtime user configuration.
349                        const config::tree& user_config,
361         if (!user_config.is_set(property))
372 /// \param user_config Runtime user configuration.
378                             const config::tree& user_config)
382             user_config.lookup< config::string_node >("architecture");
394 /// \param user_config Runtime user configuration.
400                         const config::tree& user_config)
404             user_config.lookup< config::string_node >("platform");
415 /// \param user_config Runtime user configuration.
421                     const config::tree& user_config)
430                 if (!user_config.is_set("unprivileged_user"))