|
--- Top/csound.c.orig 2017-05-24 22:41:46.000000000 +0200
|
|
+++ Top/csound.c 2017-05-25 18:35:23.438983804 +0200
|
|
@@ -1093,7 +1093,7 @@
|
|
|
|
static void signal_handler(int sig)
|
|
{
|
|
-#if defined(LINUX) && !defined(ANDROID)
|
|
+#if defined(__GLIBC__)
|
|
#include <execinfo.h>
|
|
|
|
{
|