Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZoltan Varga <vargaz@gmail.com>2009-06-12 01:07:36 +0400
committerZoltan Varga <vargaz@gmail.com>2009-06-12 01:07:36 +0400
commit3a5363ece92ca9b4f26d997dff95312ab9a16f7b (patch)
tree9ad98238419624ff9e46a26e0c99d1fee613c01a /configure.in
parentd230bcd86c0de2ab3b2f12d245b39a638fb1ba85 (diff)
2009-06-11 Zoltan Varga <vargaz@gmail.com>
* configure.in: Disable dtrace support if dtrace doesn't support the -h option. svn path=/trunk/mono/; revision=135947
Diffstat (limited to 'configure.in')
-rw-r--r--configure.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.in b/configure.in
index b1c89b1786d..d41b20c44a8 100644
--- a/configure.in
+++ b/configure.in
@@ -1787,6 +1787,9 @@ if test "x$enable_dtrace" = "xyes"; then
if test "x$DTRACE" = "xno"; then
AC_MSG_RESULT([dtrace utility not found, dtrace support disabled.])
enable_dtrace=no
+ elif ! $DTRACE -h $srcdir/data/mono.d > /dev/null 2>&1; then
+ AC_MSG_RESULT([dtrace doesn't support -h option, dtrace support disabled.])
+ enable_dtrace=no
fi
fi