pith/osdep/coredump.c

   1 /*
   2  * ========================================================================
   3  * Copyright 2013-2022 Eduardo Chappa
   4  * Copyright 2006 University of Washington
   5  *
   6  * Licensed under the Apache License, Version 2.0 (the "License");
   7  * you may not use this file except in compliance with the License.
   8  * You may obtain a copy of the License at
   9  *
  10  *     http://www.apache.org/licenses/LICENSE-2.0
  11  *
  12  * ========================================================================
  13  */
  14
  15 #include <system.h>
  16 #include "coredump.h"
  17
  18
  19 /*----------------------------------------------------------------------
  20      Abort with a core dump
  21  ----*/
  22 void
  23 coredump(void)
  24 {
  25     abort();
  26 }
  27
  28