eprintf.c

Go to the documentation of this file.

/* $Id: eprintf.c,v 1.4 2006/05/12 18:18:19 yarkhan Exp $ */
/* $UTK_Copyright: $ */

#include <stdio.h>
#include <stdlib.h>

#ifdef HAVE_CONFIG_H
#include "config.h"
#endif /* HAVE_CONFIG_H */

#ifndef HAVE___EPRINTF

void __eprintf (const char *fmt, const char *expr, int line, const char *file)
{
  fprintf (stderr, fmt, expr, line, file);
  fflush (stderr);

  abort ();
}

#endif /* HAVE___EPRINTF */