Revision 249247c9
| b/configure | ||
|---|---|---|
| 740 | 740 |
exit 1 |
| 741 | 741 |
fi |
| 742 | 742 |
|
| 743 |
feature_not_found() {
|
|
| 744 |
feature=$1 |
|
| 745 |
|
|
| 746 |
echo "ERROR" |
|
| 747 |
echo "ERROR: User requested feature $feature" |
|
| 748 |
echo "ERROR: configure was not able to found it" |
|
| 749 |
echo "ERROR" |
|
| 750 |
exit 1; |
|
| 751 |
} |
|
| 752 |
|
|
| 743 | 753 |
if test -z "$cross_prefix" ; then |
| 744 | 754 |
|
| 745 | 755 |
# --- |
Also available in: Unified diff