* configure.ac: Some maintenance for make dist.

[cacao.git] / configure.ac

diff --git a/configure.ac b/configure.ac
index 44f986f8affce33a5d9f0b8e3ea3f2e938a1c2ee..5acb74857738051ed0de586459a36153bac9f350 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -286,6 +286,7 @@ AC_CHECK_HEADERS([string.h])
 AC_CHECK_HEADERS([time.h])
 AC_CHECK_HEADERS([ucontext.h])
 AC_CHECK_HEADERS([unistd.h])
+AC_CHECK_HEADERS([mach/mach.h])
 AC_CHECK_HEADERS([sys/ioctl.h])
 AC_CHECK_HEADERS([sys/loadavg.h])
 AC_CHECK_HEADERS([sys/mman.h])
@@ -688,7 +689,6 @@ AC_CONFIG_FILES([Makefile]
                [src/mm/Makefile]
                [src/mm/cacao-gc/Makefile]
                [src/native/Makefile]
-               [src/native/include/Makefile]
                [src/native/jvmti/Makefile]
                [src/native/vm/Makefile]
                [src/native/vm/cldc1.1/Makefile]