diff options
| -rw-r--r-- | scripts/Makefile.data | 2 | ||||
| -rw-r--r-- | scripts/utils.py | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/scripts/Makefile.data b/scripts/Makefile.data index 7929e97..f397d5d 100644 --- a/scripts/Makefile.data +++ b/scripts/Makefile.data @@ -5,7 +5,7 @@ pinyins.txt: python3 genpinyins.py -update-header: +update-header: pinyins.txt python3 genpinyinheader.py > ../src/storage/pinyin_parser_table.h python3 gendoublepinyinheader.py > ../src/storage/double_pinyin_table.h python3 genbopomofoheader.py > ../src/storage/chewing_table.h diff --git a/scripts/utils.py b/scripts/utils.py index 01bdbc7..723f58c 100644 --- a/scripts/utils.py +++ b/scripts/utils.py @@ -39,3 +39,4 @@ def expand_file(filename, get_table_content): print(get_table_content(tablename)) else: print(line) + infile.close() |