diff options
Diffstat (limited to 'Build/source/texk/web2c/alephdir/comsrcspec.ch')
-rw-r--r-- | Build/source/texk/web2c/alephdir/comsrcspec.ch | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/alephdir/comsrcspec.ch b/Build/source/texk/web2c/alephdir/comsrcspec.ch index 1a4999b3878..97583491f57 100644 --- a/Build/source/texk/web2c/alephdir/comsrcspec.ch +++ b/Build/source/texk/web2c/alephdir/comsrcspec.ch @@ -7,8 +7,8 @@ @!special_loc:pointer; @!special_token:halfword; -@!parse_first_line_p:c_int_type; {parse the first line for options} -@!file_line_error_style_p:c_int_type; {format messages as file:line:error} +@!parse_first_line_p:cinttype; {parse the first line for options} +@!file_line_error_style_p:cinttype; {format messages as file:line:error} @!halt_on_error_p:boolean; {allow only on error.} @!src_specials_p : boolean; @@ -35,8 +35,12 @@ else wterm(version_string); if format_ident>0 then slow_print(format_ident); print_ln; -if shell_enabled_p then begin - wterm_ln(' \write18 enabled.') +if shellenabledp then begin + wterm(' '); + if restrictedshell then begin + wterm('restricted '); + end; + wterm_ln('\write18 enabled.'); end; if src_specials_p then begin wterm_ln(' Source specials enabled.') @@ -96,10 +100,14 @@ then else wlog(eTeX_banner); wlog(version_string); -if shell_enabled_p then begin +if shellenabledp then begin wlog_cr; + wlog(' '); + if restrictedshell then begin + wlog('restricted '); + end; wlog('\write18 enabled.') -end; + end; if src_specials_p then begin wlog_cr; wlog(' Source specials enabled.') |