1 files changed, 3 insertions, 0 deletions
diff --git a/lib/execinfo.c b/lib/execinfo.c
new file mode 100644
index 00000000000..0bcd9f078ba
--- /dev/null
+++ b/lib/execinfo.c
@@ -0,0 +1,3 @@
+#include <config.h>
+#define _GL_EXECINFO_INLINE _GL_EXTERN_INLINE
+#include "execinfo.h"

diff --git a/lib/execinfo.c b/lib/execinfo.c new file mode 100644 index 00000000000..0bcd9f078ba --- /dev/null +++ b/lib/execinfo.c
@@ -0,0 +1,3 @@
	1	#include <config.h>
	2	#define _GL_EXECINFO_INLINE _GL_EXTERN_INLINE
	3	#include "execinfo.h"