diff options
Diffstat (limited to 'pith/osdep/coredump.c')
-rw-r--r-- | pith/osdep/coredump.c | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pith/osdep/coredump.c b/pith/osdep/coredump.c new file mode 100644 index 00000000..52ad27d7 --- /dev/null +++ b/pith/osdep/coredump.c @@ -0,0 +1,31 @@ +#if !defined(lint) && !defined(DOS) +static char rcsid[] = "$Id: coredump.c 761 2007-10-23 22:35:18Z hubert@u.washington.edu $"; +#endif + +/* + * ======================================================================== + * Copyright 2006 University of Washington + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * ======================================================================== + */ + +#include <system.h> +#include "coredump.h" + + +/*---------------------------------------------------------------------- + Abort with a core dump + ----*/ +void +coredump(void) +{ + abort(); +} + + |