diff options
Diffstat (limited to 'Build/source/texk/web2c/omegadir-1.15/com-supp-w32.ch')
-rw-r--r-- | Build/source/texk/web2c/omegadir-1.15/com-supp-w32.ch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/omegadir-1.15/com-supp-w32.ch b/Build/source/texk/web2c/omegadir-1.15/com-supp-w32.ch new file mode 100644 index 00000000000..162cf594ec6 --- /dev/null +++ b/Build/source/texk/web2c/omegadir-1.15/com-supp-w32.ch @@ -0,0 +1,26 @@ +@x +@!file_line_error_style_p:boolean; {output error messages with a C style. } +@y +@!file_line_error_style_p:boolean; {output error messages with a C style. } +@!halt_on_error_p:boolean; {allow only on error.} +@z + +@x + ready_already:=0; +@y + ready_already:=0; + texmf_finish_job; +@z + +@x +print_char("."); show_context; +@y +if not file_line_error_style_p then begin + print_char("."); show_context +end; + +if (halt_on_error_p) then begin + history:=fatal_error_stop; jump_out; +end; + +@z |