diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/font/mapfile.c')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/font/mapfile.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/luatexdir/font/mapfile.c b/Build/source/texk/web2c/luatexdir/font/mapfile.c index 5ea1e7ca0a2..077ffd691ab 100644 --- a/Build/source/texk/web2c/luatexdir/font/mapfile.c +++ b/Build/source/texk/web2c/luatexdir/font/mapfile.c @@ -519,6 +519,7 @@ static void fm_read_info(void) &file_opened, &fm_buffer, &fm_size)) { if (file_opened) { if (fm_size > 0) { +recorder_record_input(cur_file_name); report_start_file(filetype_map,cur_file_name); while (!fm_eof()) { fm_scan_line(); @@ -539,6 +540,7 @@ static void fm_read_info(void) } else { fm_read_file(); report_start_file(filetype_map,cur_file_name); +recorder_record_input(cur_file_name); while (!fm_eof()) { fm_scan_line(); mitem->lineno++; |