diff options
author | Juan Quintela <quintela@redhat.com> | 2009-08-12 18:20:25 +0200 |
---|---|---|
committer | Anthony Liguori <aliguori@us.ibm.com> | 2009-08-27 19:33:12 -0500 |
commit | 249247c9fd962e8155ebcf01c9ab648c886682ae (patch) | |
tree | ed24887e1a43d35df3009edde11b90f24bf845d2 | |
parent | e2d52ad32abb158f272f120dc1ba06c74abe4824 (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-x | configure | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -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 # --- |