eprintf.c

Go to the documentation of this file.
00001 
00010 /* $Id: eprintf.c,v 1.4 2006/05/12 18:18:19 yarkhan Exp $ */
00011 /* $UTK_Copyright: $ */
00012 
00013 #include <stdio.h>
00014 #include <stdlib.h>
00015 
00016 #ifdef HAVE_CONFIG_H
00017 #include "config.h"
00018 #endif /* HAVE_CONFIG_H */
00019 
00020 #ifndef HAVE___EPRINTF
00021 
00032 void __eprintf (const char *fmt, const char *expr, int line, const char *file)
00033 {
00034   fprintf (stderr, fmt, expr, line, file);
00035   fflush (stderr);
00036 
00037   abort ();
00038 }
00039 
00040 #endif /* HAVE___EPRINTF */