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
 
 # ---