diff options
Diffstat (limited to 'Build/source/texk/web2c/lib/texmfmp.c')
-rw-r--r-- | Build/source/texk/web2c/lib/texmfmp.c | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/lib/texmfmp.c b/Build/source/texk/web2c/lib/texmfmp.c index fc4563c43b7..3f08e9b0200 100644 --- a/Build/source/texk/web2c/lib/texmfmp.c +++ b/Build/source/texk/web2c/lib/texmfmp.c @@ -208,8 +208,7 @@ static void mk_shellcmdlist (char *v) { char **p; - const char *q, *r1; - char *r; + char *q, *r; int n; q = v; @@ -218,10 +217,10 @@ mk_shellcmdlist (char *v) /* analyze the variable shell_escape_commands = foo,bar,... spaces before and after (,) are not allowed. */ - while ((r1 = strchr (q, ',')) != 0) { + while ((r = strchr (q, ',')) != 0) { n++; - r1++; - q = r1; + r++; + q = r; } if (*q) n++; |