diff options
author | Jared Van Bortel <jared@nomic.ai> | 2023-11-28 04:51:11 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-28 11:51:11 +0200 |
commit | 64e64aa2557d97490b2fe1262b313e2f4a1607e3 (patch) | |
tree | cdbf8722a2702fd4218476a9b13a3704793a31a2 | |
parent | 8406b0924bf323f37d536dee8b8165c1f3d9d11d (diff) |
ggml : restore abort() in GGML_ASSERT (#4242)
-rw-r--r-- | ggml.h | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -244,11 +244,10 @@ #define GGML_ASSERT(x) \ do { \ if (!(x)) { \ - fprintf(stderr, "GGML_ASSERT: %s:%d: %s\n", __FILE__, __LINE__, #x); \ - fflush(stderr); \ fflush(stdout); \ + fprintf(stderr, "GGML_ASSERT: %s:%d: %s\n", __FILE__, __LINE__, #x); \ ggml_print_backtrace(); \ - exit(1); \ + abort(); \ } \ } while (0) |