diff options
Diffstat (limited to 'Build/source/texk/web2c/omegadir/com-supp-w32.ch')
-rw-r--r-- | Build/source/texk/web2c/omegadir/com-supp-w32.ch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/Build/source/texk/web2c/omegadir/com-supp-w32.ch b/Build/source/texk/web2c/omegadir/com-supp-w32.ch deleted file mode 100644 index 162cf594ec6..00000000000 --- a/Build/source/texk/web2c/omegadir/com-supp-w32.ch +++ /dev/null @@ -1,26 +0,0 @@ -@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 |