diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index c9ecc31d81..801acb51d7 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -824,7 +824,8 @@ set build_info "" set fd [open [run_dir]/genode/build_info w] diff --git a/repos/gems/src/app/sculpt_manager/model/runtime_config.h b/repos/gems/src/app/sculpt_manager/model/runtime_config.h index 50b6fe3eb0..49f824b27a 100644 --- a/repos/gems/src/app/sculpt_manager/model/runtime_config.h +++ b/repos/gems/src/app/sculpt_manager/model/runtime_config.h @@ -326,6 +326,7 @@ class Sculpt::Runtime_config _vimrc { _r, Type::ROM, "default vim configuration", "config -> vimrc" }, _fonts { _r, Type::ROM, "system font configuration", "config -> managed/fonts" }, _pf_info { _r, Type::ROM, "platform information", "platform_info" }, + _bld_info { _r, Type::ROM, "build information", "build_info" }, _system { _r, Type::ROM, "system status", "config -> managed/system" }, _report { _r, Type::REPORT, "system reports" }, _shape { _r, Type::REPORT, "pointer shape", "shape", Service::Match_label::LAST },