From 4e177642c64b21060b58f4e7308d1334ac7ec11e Mon Sep 17 00:00:00 2001 From: David Soria Parra Date: Fri, 7 May 2010 15:05:39 +0000 Subject: [PATCH] Abort if DTrace is not installed on the system --- configure.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.in b/configure.in index 0ab2589742e..0ef02909bb1 100644 --- a/configure.in +++ b/configure.in @@ -893,7 +893,7 @@ if test "$PHP_DTRACE" = "yes"; then Zend/zend_dtrace.c Zend/zend.c]) AC_DEFINE(HAVE_DTRACE, 1, [Whether to enable DTrace support]) PHP_INIT_DTRACE([Zend/zend_dtrace.d], [Zend/zend_dtrace_gen.h])], - []) + AC_MSG_ERROR([DTrace header not found. DTrace is probably not available on your system!])) fi AC_MSG_CHECKING([how big to make fd sets])