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

github.com/nginx/nginx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIgor Sysoev <igor@sysoev.ru>2009-05-26 18:28:49 +0400
committerIgor Sysoev <igor@sysoev.ru>2009-05-26 18:28:49 +0400
commitda85fe6d5f190db3e8dfabcc3c0906dda57aab1d (patch)
tree413304e5b290a7c0c74ae81d72874940b45d4924 /auto/lib/google-perftools
parent03ab5fcdb8d3363269c17970486913c2b0c8a609 (diff)
stop ./configure at once on library failure
Diffstat (limited to 'auto/lib/google-perftools')
-rw-r--r--auto/lib/google-perftools/conf11
1 files changed, 11 insertions, 0 deletions
diff --git a/auto/lib/google-perftools/conf b/auto/lib/google-perftools/conf
index a8987c908..67df9f8ac 100644
--- a/auto/lib/google-perftools/conf
+++ b/auto/lib/google-perftools/conf
@@ -30,4 +30,15 @@ fi
if [ $ngx_found = yes ]; then
CORE_LIBS="$CORE_LIBS $ngx_feature_libs"
+
+else
+
+cat << END
+
+$0: error: the Google perftool module requires the Google perftools
+library. You can either do not enable the module or install the library.
+
+END
+
+ exit 1
fi