summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-05-17 13:40:48 +0200
committerPhilipp Gesang <phg42.2a@gmail.com>2013-05-17 13:40:48 +0200
commit7c91bc4d366e6d0e4e04234441015f009d46d06a (patch)
tree13b0a8b078eb806197d4ca8fb66a64b3b817289d
parent3554232ccc8e1f7a121eb25c31867bab2de85b64 (diff)
downloadluaotfload-7c91bc4d366e6d0e4e04234441015f009d46d06a.tar.gz
add serialization spec
-rwxr-xr-xmkcharacters6
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