- { { echo "$as_me:5973: error: option value must be one of: rel, abi, auto or no" >&5
-echo "$as_me: error: option value must be one of: rel, abi, auto or no" >&2;}
+ echo "$as_me:5979: result: $withval" >&5
+echo "${ECHO_T}$withval" >&6
+ { { echo "$as_me:5981: error: option value must be one of: rel, abi, or auto" >&5
+echo "$as_me: error: option value must be one of: rel, abi, or auto" >&2;}