mirror of
https://github.com/moparisthebest/curl
synced 2025-03-01 09:51:46 -05:00
configure: rename get-easy-option configure option to get-easy-options
"get-easy-options" is the configure option advertised by the help text anyway, so use that. Fixes #7211 Closes #7213 Follow-up to ad691b191 ("configure: added --disable-get-easy-options") Suggested-by: Daniel Stenberg <daniel@haxx.se> Signed-off-by: Bastian Krause <bst@pengutronix.de>
This commit is contained in:
parent
76035e612a
commit
fdb32eef17
@ -3804,7 +3804,7 @@ dnl ************************************************************
|
||||
dnl disable the curl_easy_options API
|
||||
dnl
|
||||
AC_MSG_CHECKING([whether to support curl_easy_option*])
|
||||
AC_ARG_ENABLE(get-easy-option,
|
||||
AC_ARG_ENABLE(get-easy-options,
|
||||
AS_HELP_STRING([--enable-get-easy-options],[Enable curl_easy_options])
|
||||
AS_HELP_STRING([--disable-get-easy-options],[Disable curl_easy_options]),
|
||||
[ case "$enableval" in
|
||||
|
Loading…
x
Reference in New Issue
Block a user