diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/lua51')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/lua51/lauxlib.c | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/luatexdir/lua51/luaconf.h | 2 |
2 files changed, 3 insertions, 1 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); diff --git a/Build/source/texk/web2c/luatexdir/lua51/luaconf.h b/Build/source/texk/web2c/luatexdir/lua51/luaconf.h index 413f12e23f3..fc89eae731e 100644 --- a/Build/source/texk/web2c/luatexdir/lua51/luaconf.h +++ b/Build/source/texk/web2c/luatexdir/lua51/luaconf.h @@ -11,7 +11,7 @@ #include <limits.h> #include <stddef.h> -#include <w2c/c-auto.h> +#include <c-auto.h> /* ** ================================================================== |