diff options
Diffstat (limited to 'backendC/CleanCompilerSources/unix_io.c')
| -rw-r--r-- | backendC/CleanCompilerSources/unix_io.c | 22 |
1 files changed, 6 insertions, 16 deletions
diff --git a/backendC/CleanCompilerSources/unix_io.c b/backendC/CleanCompilerSources/unix_io.c index 199fa84..8849dbf 100644 --- a/backendC/CleanCompilerSources/unix_io.c +++ b/backendC/CleanCompilerSources/unix_io.c @@ -440,38 +440,29 @@ FileTime FGetFileTime (char *fname, FileKind kind) return (FileTime) buf.st_mtime; } /* FGetFileTime */ - - - -/******************************************************************************* - * * - * Error Handling * - * * - ******************************************************************************/ +/* Error Handling */ void DoError (char *fmt, ...) { va_list args; va_start (args, fmt); - (void) vfprintf (stderr, fmt, args); + (void) vfprintf (StdError, fmt, args); va_end (args); -} /* DoError */ - +} void DoFatalError (char *fmt, ...) { va_list args; va_start (args, fmt); - (void) vfprintf (stderr, fmt, args); + (void) vfprintf (StdError, fmt, args); va_end (args); exit (0); -} /* DoFatalError */ - +} void CmdError (char *errormsg,...) { va_list args; @@ -483,8 +474,7 @@ void CmdError (char *errormsg,...) fputc ('\n', stdout); va_end (args); -} /* CmdError */ - +} /******************************************************************************* * Interrupt Handling * |