diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-15 12:18:44 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-15 12:18:44 +0000 |
commit | 205e53722caf0f606776b6de7af029028b19eb6a (patch) | |
tree | ad3c7025419741e41cc3712fd9ff4f00313c17d2 /Build/source/texk/web2c/web2c/fixwrites.c | |
parent | 0dfb79caaa6d6305dc126dedf5d4aef091298030 (diff) |
TeX & Co: Announce dumpname on the terminal
git-svn-id: svn://tug.org/texlive/trunk@32682 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/web2c/fixwrites.c')
-rw-r--r-- | Build/source/texk/web2c/web2c/fixwrites.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/web2c/fixwrites.c b/Build/source/texk/web2c/web2c/fixwrites.c index a0375b1fdf7..2c1f33608c8 100644 --- a/Build/source/texk/web2c/web2c/fixwrites.c +++ b/Build/source/texk/web2c/web2c/fixwrites.c @@ -402,10 +402,12 @@ main (int argc, string *argv) /* More kludges -- recognize some things as strings and use %s: - versionstring - poolname - - formatengine */ + - formatengine + - dumpname */ else if (strncmp (cp, "versionstring", 13) == 0 || strncmp (cp, "poolname", 8) == 0 - || strncmp (cp, "formatengine", 12) == 0) + || strncmp (cp, "formatengine", 12) == 0 + || strncmp (cp, "dumpname", 8) == 0) { *as++ = '%'; *as++ = 's'; @@ -413,7 +415,7 @@ main (int argc, string *argv) /* And yet another kludge, to handle stringcast (<whatever>) */ else if (strncmp (cp, "stringcast", 10) == 0 - || strncmp (cp, "conststringcast", 10) == 0) + || strncmp (cp, "conststringcast", 15) == 0) { *as++ = '%'; *as++ = 's'; |