diff --git a/configure b/configure index 494e9ced7b..e0a2874a49 100755 --- a/configure +++ b/configure @@ -807,7 +807,7 @@ feature_not_found() { echo "ERROR" echo "ERROR: User requested feature $feature" - echo "ERROR: configure was not able to found it" + echo "ERROR: configure was not able to find it" echo "ERROR" exit 1; }