diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/luatex.h')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/luatex.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/luatexdir/luatex.h b/Build/source/texk/web2c/luatexdir/luatex.h index 8b1254dcbff..1c88ec6673b 100644 --- a/Build/source/texk/web2c/luatexdir/luatex.h +++ b/Build/source/texk/web2c/luatexdir/luatex.h @@ -71,6 +71,11 @@ /* Executing shell commands. */ extern void mk_shellcmdlist(char *); extern void init_shell_escape(void); +extern void init_start_time(void); +extern int get_start_time(void); +extern void set_start_time(int); +extern boolean get_start_time(void); + extern int shell_cmd_is_allowed(const char *cmd, char **safecmd, char **cmdname); |