diff options
| author | Karl Berry <karl@freefriends.org> | 2009-03-28 22:49:01 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-03-28 22:49:01 +0000 |
| commit | 88e63a5d68668d620c783cdbf51e0c5bab111b7c (patch) | |
| tree | 92b209b48893e329ae6ea04dd011006eb19d5cdc /Build/source/texk/web2c/texmfmp.h | |
| parent | ad0855bc768a844bde2ac650c6a6902de9889f02 (diff) | |
shell escape declarations
git-svn-id: svn://tug.org/texlive/trunk@12553 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/texmfmp.h')
| -rw-r--r-- | Build/source/texk/web2c/texmfmp.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/texmfmp.h b/Build/source/texk/web2c/texmfmp.h index ef5f53ae149..f7aa303ef55 100644 --- a/Build/source/texk/web2c/texmfmp.h +++ b/Build/source/texk/web2c/texmfmp.h @@ -117,6 +117,11 @@ extern boolean open_out_or_pipe P2H(FILE **, const_string fopen_mode); extern void close_file_or_pipe P1H(FILE *); #endif +/* Executing shell commands. */ +void mk_shellcmdlist (char *); +void init_shell_escape (void); +int shell_cmd_is_allowed (char **cmd, char **safecmd, char **cmdname); + /* All but the Omega family use this. */ #if !defined(Omega) && !defined(eOmega) && !defined(Aleph) extern void readtcxfile P1H(void); |