diff options
Diffstat (limited to 'frontends/monkey')
| -rw-r--r-- | frontends/monkey/main.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/frontends/monkey/main.c b/frontends/monkey/main.c index a89314440..1aced80cf 100644 --- a/frontends/monkey/main.c +++ b/frontends/monkey/main.c @@ -316,7 +316,7 @@ static void monkey_run(void) } } -#ifndef NDEBUG +#if (!defined(NDEBUG) && defined(HAVE_EXECINFO)) #include <execinfo.h> static void *backtrace_buffer[4096]; @@ -325,7 +325,9 @@ __assert_fail(const char *__assertion, const char *__file, unsigned int __line, const char *__function) { int frames; - fprintf(stderr, "MONKEY: Assertion failure!\n%s:%d: %s: Assertion `%s` failed.\n", + fprintf(stderr, + "MONKEY: Assertion failure!\n" + "%s:%d: %s: Assertion `%s` failed.\n", __file, __line, __function, __assertion); frames = backtrace(&backtrace_buffer[0], 4096); |