diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/lua51/lauxlib.c')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/lua51/lauxlib.c | 2 |
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); |