diff options
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 76802eaa..554813ee 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -1452,7 +1452,7 @@ class Building: Cache.ensure() import gen_struct_info - gen_struct_info.main(['-o', info_path, path_from_root('src/struct_info.json')]) + gen_struct_info.main(['-qo', info_path, path_from_root('src/struct_info.json')]) @staticmethod def preprocess(infile, outfile): |