| Submitter | Juan Quintela |
|---|---|
| Date | Aug. 12, 2009, 4:20 p.m. |
| Message ID | <e610ca576a2f75a53168f45d4684f41317f37c5c.1250093910.git.quintela@redhat.com> |
| Download | mbox | patch |
| Permalink | /patch/31205/ |
| State | Superseded |
| Headers | show |
Comments
Patch
diff --git a/configure b/configure index cda8213..1a12c43 100755 --- a/configure +++ b/configure @@ -766,6 +766,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 # ---
Signed-off-by: Juan Quintela <quintela@redhat.com> --- configure | 10 ++++++++++ 1 files changed, 10 insertions(+), 0 deletions(-)