diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-04-16 20:56:53 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-04-16 20:56:53 +0200 |
commit | e471380b11828222d2b9c970a8e5cd024804f023 (patch) | |
tree | 11b58678608e7948ef8977e214569b1f7b9adf06 /rtems_spec_to_x.py | |
parent | Makefile: Report coverage by default (diff) | |
download | rtems-central-e471380b11828222d2b9c970a8e5cd024804f023.tar.bz2 |
Rename config.ini in config.yml
Diffstat (limited to 'rtems_spec_to_x.py')
-rwxr-xr-x | rtems_spec_to_x.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rtems_spec_to_x.py b/rtems_spec_to_x.py index 98947b89..d41aa4be 100755 --- a/rtems_spec_to_x.py +++ b/rtems_spec_to_x.py @@ -75,7 +75,7 @@ BUILD_VALIDATIONTESTS = True def main() -> None: """ Generates glossaries of terms according to the configuration. """ - with open("config.ini", "r") as out: + with open("config.yml", "r") as out: config = yaml.safe_load(out.read()) item_cache = ItemCache(config["spec"]) rtemsqual.glossary.generate(config["glossary"], item_cache) |