# HG changeset patch
# User HackBot
# Date 1468142840 0
# Node ID d32a7c62d7748c25d96241a2719c30bef6ab0042
# Parent  d1d589eea623fbc840faf49080ccf40c9700a8e1
<fizzie> ` sed -e \'1,+2d\' -e \'/SOURCE/,$d\' share/configure > share/headers

diff -r d1d589eea623 -r d32a7c62d774 share/headers
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/share/headers	Sun Jul 10 09:27:20 2016 +0000
@@ -0,0 +1,31 @@
+#define __USE_XOPEN
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#include <unistd.h>
+#include <math.h>
+#include <limits.h>
+#include <sys/types.h>
+#include <stdint.h>
+#include <stdbool.h>
+#include <stddef.h>
+#include <stdarg.h>
+#include <stdnoreturn.h>
+#include <stdalign.h>
+#include <ctype.h>
+#include <inttypes.h>
+#include <float.h>
+#include <errno.h>
+#include <time.h>
+#include <assert.h>
+#include <complex.h>
+#include <setjmp.h>
+#include <wchar.h>
+#include <wctype.h>
+#include <tgmath.h>
+#include <fenv.h>
+#include <locale.h>
+#include <iso646.h>
+#include <signal.h>
+#include <unistd.h>
+#include <fcntl.h>