pith/osdep/coredump.c

   1 #if !defined(lint) && !defined(DOS)
   2 static char rcsid[] = "$Id: coredump.c 761 2007-10-23 22:35:18Z hubert@u.washington.edu $";
   3 #endif
   4
   5 /*
   6  * ========================================================================
   7  * Copyright 2013-2018 Eduardo Chappa
   8  * Copyright 2006 University of Washington
   9  *
  10  * Licensed under the Apache License, Version 2.0 (the "License");
  11  * you may not use this file except in compliance with the License.
  12  * You may obtain a copy of the License at
  13  *
  14  *     http://www.apache.org/licenses/LICENSE-2.0
  15  *
  16  * ========================================================================
  17  */
  18
  19 #include <system.h>
  20 #include "coredump.h"
  21
  22
  23 /*----------------------------------------------------------------------
  24      Abort with a core dump
  25  ----*/
  26 void
  27 coredump(void)
  28 {
  29     abort();
  30 }
  31
  32