From fdb32eef176cb10c7f8188c0a9bfcc65a9e6fc6b Mon Sep 17 00:00:00 2001 From: Bastian Krause Date: Tue, 8 Jun 2021 17:30:17 +0200 Subject: [PATCH] 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 Signed-off-by: Bastian Krause --- configure.ac | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.ac b/configure.ac index 9186bbaedb..1bc85af288 100755 --- a/configure.ac +++ b/configure.ac @@ -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 -- 2.47.3