diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/errors.w')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/errors.w | 27 |
1 files changed, 25 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/errors.w b/Build/source/texk/web2c/luatexdir/tex/errors.w index 506b0b75411..d981f9fee4f 100644 --- a/Build/source/texk/web2c/luatexdir/tex/errors.w +++ b/Build/source/texk/web2c/luatexdir/tex/errors.w @@ -688,7 +688,15 @@ void wrapup_backend(void) { void normal_error(const char *t, const char *p) { normalize_selector(); - print_err("error "); + if (interaction == error_stop_mode) { + wake_up_terminal(); + } + if (filelineerrorstylep) { + print_file_line(); + } else { + tprint_nl("! "); + } + tprint("error: "); if (cur_file_name) { tprint(" (file "); tprint(cur_file_name); @@ -702,12 +710,27 @@ void normal_error(const char *t, const char *p) tprint(": "); if (p != NULL) tprint(p); - /* quit */ history = fatal_error_stop; wrapup_backend(); exit(EXIT_FAILURE); } +/* +void normal_error(const char *t, const char *p) +{ + normalize_selector(); + if (interaction == error_stop_mode) { + wake_up_terminal(); + } + tprint("error : "); + if (p != NULL) + tprint(p); + history = fatal_error_stop; + wrapup_backend(); + exit(EXIT_FAILURE); +} +*/ + @ @c void normal_warning(const char *t, const char *p) { |