--- orig/o/main.c +++ mod/o/main.c @@ -378,10 +378,15 @@ #endif { install_segmentation_catcher() ;} FEerror("Caught fatal error [memory may be damaged]",0); } +#ifdef UNIX +#define WRITE_WITHOUT_MALLOC(string) write(2, string, strlen(string)) + WRITE_WITHOUT_MALLOC("\nUnrecoverable error: "); + WRITE_WITHOUT_MALLOC(s); + WRITE_WITHOUT_MALLOC(".\n"); + abort(); +#else printf("\nUnrecoverable error: %s.\n", s); fflush(stdout); -#ifdef UNIX - abort(); #endif }