aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJuan Quintela <quintela@redhat.com>2009-08-12 18:20:25 +0200
committerAnthony Liguori <aliguori@us.ibm.com>2009-08-27 19:33:12 -0500
commit249247c9fd962e8155ebcf01c9ab648c886682ae (patch)
treeed24887e1a43d35df3009edde11b90f24bf845d2
parente2d52ad32abb158f272f120dc1ba06c74abe4824 (diff)
Add error message for feature not found
Signed-off-by: Juan Quintela <quintela@redhat.com> Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
-rwxr-xr-xconfigure10
1 files changed, 10 insertions, 0 deletions
diff --git a/configure b/configure
index 85549d1241..7fec59cb00 100755
--- a/configure
+++ b/configure
@@ -740,6 +740,16 @@ if test -z "$target_list" ; then
exit 1
fi
+feature_not_found() {
+ feature=$1
+
+ echo "ERROR"
+ echo "ERROR: User requested feature $feature"
+ echo "ERROR: configure was not able to found it"
+ echo "ERROR"
+ exit 1;
+}
+
if test -z "$cross_prefix" ; then
# ---