diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure b/configure index d7b0d7553b2..8c565ab87b0 100755 --- a/configure +++ b/configure @@ -2004,6 +2004,11 @@ fi test -n "$DTRACE" && break done +if test -z "$DTRACE"; then + { { echo "$as_me:$LINENO: error: dtrace not found" >&5 +echo "$as_me: error: dtrace not found" >&2;} + { (exit 1); exit 1; }; } +fi ;; no) |