chiark / gitweb /
get headers for WCOREDUMP right
[userv.git] / configure.in
index 65f6ed917f1cecce1a4d5b2c0d4f0f979f091db6..2d42166194131268b3baa02a318631c79cceb683 100644 (file)
@@ -77,7 +77,8 @@ fi
 AC_CACHE_CHECK(for WCOREDUMP,userv_cv_hdr_wcoredump,
  AC_EGREP_CPP(yes,
 [
-#include <syslog.h>
+#include <sys/types.h>
+#include <sys/wait.h>
 #ifdef WCOREDUMP
  yes
 #endif