diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-01-01 07:51:07 +0200 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-01-01 07:51:07 +0200 |
| commit | 0992588811df90154759f9af6261f07e69cf784a (patch) | |
| tree | 34ec7b0ee9c4acdb30e011d6a7ab61c25f6ecbf9 /tools/make-frozen.py | |
| parent | ed584e2ffd906e97ae234cccebbc63222a7dbcf2 (diff) | |
py/frozenmod: Make frozen module content be 0-terminated.
To allow simple zero-terminated lexers.
Diffstat (limited to 'tools/make-frozen.py')
| -rwxr-xr-x | tools/make-frozen.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/make-frozen.py b/tools/make-frozen.py index 18368e218..7c3865cc4 100755 --- a/tools/make-frozen.py +++ b/tools/make-frozen.py @@ -55,5 +55,5 @@ for f, st in modules: data = data[1:] data = data[1:-1] data = data.replace('"', '\\"') - print('"%s"' % data) + print('"%s\\0"' % data) print("};") |