diff options
Diffstat (limited to '')
| -rwxr-xr-x | rtems_spec_to_x.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/rtems_spec_to_x.py b/rtems_spec_to_x.py index 16385f3b..576d7637 100755 --- a/rtems_spec_to_x.py +++ b/rtems_spec_to_x.py @@ -60,7 +60,10 @@ def _run_pre_qualified_only_build(config: dict, item_cache: ItemCache) -> None: content = string.Template(config["config-ini"]).substitute(config) config_ini.write(content) specs = os.path.relpath(os.path.join(source_dir, "spec"), workspace_dir) - _run_command(["./waf", "configure", "--rtems-specs", specs], workspace_dir) + _run_command([ + "./waf", "configure", "--rtems-specs", specs, "--rtems-top-group", + "/build/grp" + ], workspace_dir) _run_command(["./waf"], workspace_dir) |