diff options
author | Hans Hagen <pragma@wxs.nl> | 2012-01-05 19:27:20 +0100 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2012-01-05 19:27:20 +0100 |
commit | 097e1f68bc15db06fd3a6e2c46d304620655d8cb (patch) | |
tree | 1e49494343010007bd94e3677be8990f6c40a32f /scripts/context/stubs/unix | |
parent | 9a299c9ae21ca06170dda2ed6f079bd703216c5a (diff) | |
download | context-097e1f68bc15db06fd3a6e2c46d304620655d8cb.tar.gz |
beta 2011.11.08 15:20
Diffstat (limited to 'scripts/context/stubs/unix')
-rwxr-xr-x | scripts/context/stubs/unix/mtxrun | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/context/stubs/unix/mtxrun b/scripts/context/stubs/unix/mtxrun index 03b51ff02..995e5e814 100755 --- a/scripts/context/stubs/unix/mtxrun +++ b/scripts/context/stubs/unix/mtxrun @@ -5106,7 +5106,7 @@ function statistics.show(reporter) return lower(status.banner) end) register("control sequences", function() - return format("%s of %s", status.cs_count, status.hash_size+status.hash_extra) + return format("%s of %s + %s", status.cs_count, status.hash_size,status.hash_extra) end) register("callbacks", function() local total, indirect = status.callbacks or 0, status.indirect_callbacks or 0 @@ -5504,6 +5504,8 @@ end if texconfig then + -- this happens too late in ini mode but that is no problem + local function set(k,v) v = tonumber(v) if v then |