Index: configure
===================================================================
diff -u -r7d1e68dd44eb6cddb6755e335e1070bb7be2e6f8 -rc27616906b8caeb0fac615122f183e506131c38d
--- configure	(.../configure)	(revision 7d1e68dd44eb6cddb6755e335e1070bb7be2e6f8)
+++ configure	(.../configure)	(revision c27616906b8caeb0fac615122f183e506131c38d)
@@ -2380,7 +2380,7 @@
 
 # Check whether --with-dtrace was given.
 if test "${with_dtrace+set}" = set; then :
-  withval=$with_dtrace; with_dtrace=$enableval
+  withval=$with_dtrace; with_dtrace=$withval
 else
   with_dtrace=no
 fi