From: Juan Quintela Date: Wed, 12 Aug 2009 16:20:25 +0000 (+0200) Subject: Add error message for feature not found X-Git-Tag: v0.12.0-rc0~1494 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=249247c9fd962e8155ebcf01c9ab648c886682ae;p=thirdparty%2Fqemu.git Add error message for feature not found Signed-off-by: Juan Quintela Signed-off-by: Anthony Liguori --- diff --git a/configure b/configure index 85549d12413..7fec59cb007 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 # ---