diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2006-08-17 17:25:43 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2006-08-17 17:25:43 +0000 |
| commit | bb764e94ce98c01924879288bd14e76e7c913128 (patch) | |
| tree | cd3011a3550c7fbe60e5f12983732bbcc0bbbe49 /configure | |
| parent | 92c651f8b3e8972a0f203dbdcbffaddf342fc5df (diff) | |
Produce a clean failure in configure when dtrace is selected but cannot be
found. Besides stopping those early who have no dtrace installed
whatsoever, this will also alert those who have dtrace in /usr/sbin, which
might not be in the path, which would produce confusing failures much later
in the build process.
Add documentation about pointing configure to find dtrace.
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) |