diff options
Diffstat (limited to 'spec2rtems.py')
-rwxr-xr-x | spec2rtems.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/spec2rtems.py b/spec2rtems.py index 9888dccf..878b79a4 100755 --- a/spec2rtems.py +++ b/spec2rtems.py @@ -33,6 +33,7 @@ def main() -> None: config = rtemsqual.util.load_config("config.yml") item_cache = rtemsqual.items.ItemCache(config["spec"]) rtemsqual.interface.generate(config["interface"], item_cache) + rtemsqual.validation.generate(config["validation"], item_cache) if __name__ == "__main__": |