Add error message for feature not found

Signed-off-by: Juan Quintela <quintela@redhat.com> Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
2009-08-12 18:20:25 +02:00 · 2009-08-12 18:20:25 +02:00 · 249247c9fd
commit 249247c9fd
parent e2d52ad32a
1 changed files with 10 additions and 0 deletions
--- a/10
+++ b/10
@ -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

 # ---