diff options
Diffstat (limited to 'scripts/utils.py')
-rw-r--r-- | scripts/utils.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/utils.py b/scripts/utils.py index 77eecbe..391e54f 100644 --- a/scripts/utils.py +++ b/scripts/utils.py @@ -22,8 +22,13 @@ import os +header = '''/* This file is generated by python scripts. Don't edit this file directly. + */ +''' + def expand_file(filename, get_table_content): infile = open(filename, "r") + print(header) for line in infile.readlines(): line = line.rstrip(os.linesep) if len(line) < 3 : |