diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-04-20 07:26:15 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-04-21 17:37:21 +0200 |
| commit | 71d8b3c08ae2baacf410abe33da475de3db644da (patch) | |
| tree | 948b4b4da73ede172430cb4d6f647687461ffc12 /rtems_spec_to_x.py | |
| parent | Enable branch coverage (diff) | |
| download | rtems-central-71d8b3c08ae2baacf410abe33da475de3db644da.tar.bz2 | |
Remove Doorstop specifics
Diffstat (limited to 'rtems_spec_to_x.py')
| -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) |