summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/luatexdir/lua51/lauxlib.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/lua51/lauxlib.c')
-rw-r--r--Build/source/texk/web2c/luatexdir/lua51/lauxlib.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/luatexdir/lua51/lauxlib.c b/Build/source/texk/web2c/luatexdir/lua51/lauxlib.c
index 10f14e2c088..e294b407084 100644
--- a/Build/source/texk/web2c/luatexdir/lua51/lauxlib.c
+++ b/Build/source/texk/web2c/luatexdir/lua51/lauxlib.c
@@ -562,6 +562,8 @@ LUALIB_API int luaL_loadfile (lua_State *L, const char *filename) {
else {
lua_pushfstring(L, "@%s", filename);
lf.f = fopen(filename, "r");
+ if (lf.f != NULL)
+ recorder_record_input (filename);
if (lf.f == NULL) return errfile(L, "open", fnameindex);
}
c = getc(lf.f);