diff options
-rw-r--r-- | Build/source/texk/web2c/hitexdir/hitex.w | 11 |
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); + } } |