mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
make the code more readable
This commit is contained in:
parent
4e177642c6
commit
e68ffa09e0
2 changed files with 14 additions and 8 deletions
|
@ -2928,6 +2928,10 @@ dnl
|
|||
dnl Generate platform specific dtrace header
|
||||
dnl
|
||||
AC_DEFUN([PHP_INIT_DTRACE], [
|
||||
dtrace -h -C -s $abs_srcdir/$1 -o $abs_builddir/$2 && $SED -ibak 's,PHP_,DTRACE_,g' $abs_builddir/$2 || AC_MSG_ERROR([cannot create DTrace header file])
|
||||
dtrace -h -C -s $abs_srcdir/$1 -o $abs_builddir/$2
|
||||
if test "$?" != "0"; then
|
||||
AC_MSG_ERROR([cannot create DTrace header file])
|
||||
fi
|
||||
$SED -ibak 's,PHP_,DTRACE_,g' $abs_builddir/$2
|
||||
])
|
||||
|
||||
|
|
16
configure.in
16
configure.in
|
@ -887,13 +887,15 @@ PHP_ARG_ENABLE(dtrace, whether to enable DTrace support,
|
|||
dnl ## DTRACE CHECHKS
|
||||
dnl ## this needs to be done before SAPI configureation
|
||||
if test "$PHP_DTRACE" = "yes"; then
|
||||
AC_CHECK_HEADERS([sys/sdt.h],
|
||||
[PHP_ADD_DTRACE([Zend/zend_dtrace.d], [main/main.c, Zend/zend_API.c \
|
||||
Zend/zend_execute.c Zend/zend_exceptions.c \
|
||||
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!]))
|
||||
AC_CHECK_HEADERS([sys/sdt.h], [
|
||||
PHP_ADD_DTRACE([Zend/zend_dtrace.d], [main/main.c, Zend/zend_API.c \
|
||||
Zend/zend_execute.c Zend/zend_exceptions.c \
|
||||
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([Cannot find sys/sdt.h which is required for DTrace support])
|
||||
])
|
||||
fi
|
||||
|
||||
AC_MSG_CHECKING([how big to make fd sets])
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue