summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/hitexdir/hitex.w
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/hitexdir/hitex.w')
-rw-r--r--Build/source/texk/web2c/hitexdir/hitex.w11
1 files changed, 6 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/hitexdir/hitex.w b/Build/source/texk/web2c/hitexdir/hitex.w
index c284c31c3b2..049ee51c731 100644
--- a/Build/source/texk/web2c/hitexdir/hitex.w
+++ b/Build/source/texk/web2c/hitexdir/hitex.w
@@ -34320,15 +34320,16 @@ Therefore we record {\tt texmf.cnf} with the following code:
@<record {\tt texmf.cnf}@>=
if (recorder_enabled) {
- char *p = kpse_find_file_generic ("texmf.cnf", kpse_cnf_format, 0, 1);
+ string *p = kpse_find_file_generic ("texmf.cnf", kpse_cnf_format, 0, 1);
if (p && *p) {
- char *pp = p;
+ string *pp = p;
while (*p) {
- recorder_record_input (*p);
- free (*p);
- p++;
+ recorder_record_input (*p);
+ free (*p);
+ p++;
}
free (pp);
+ }
}