diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-17 13:40:48 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-17 13:40:48 +0200 |
commit | 7c91bc4d366e6d0e4e04234441015f009d46d06a (patch) | |
tree | 13b0a8b078eb806197d4ca8fb66a64b3b817289d | |
parent | 3554232ccc8e1f7a121eb25c31867bab2de85b64 (diff) | |
download | luaotfload-7c91bc4d366e6d0e4e04234441015f009d46d06a.tar.gz |
add serialization spec
-rwxr-xr-x | mkcharacters | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/mkcharacters b/mkcharacters index 0ec871e..9b2f0c1 100755 --- a/mkcharacters +++ b/mkcharacters @@ -104,7 +104,11 @@ end do local chardata = get_characters() local stripped = extract_fields(chardata) - local serialized = table.serialize(stripped) + local serialized = table.serialize(stripped, true, { + compact = true, + noquotes = true, + hexify = true, --- for consistency with char-def + }) if writedata(serialized) then goto done end |