mirror of
https://github.com/curl/curl.git
synced 2026-04-15 18:31:46 +03:00
configure: fix --disable-headers-api
Reported-by: Michał Antoniak Fixes #9134 Closes #9143
This commit is contained in:
parent
945a81e143
commit
60be90d14e
1 changed files with 3 additions and 3 deletions
|
|
@ -4057,13 +4057,13 @@ AC_ARG_ENABLE(headers-api,
|
|||
AS_HELP_STRING([--enable-headers-api],[Enable headers-api support])
|
||||
AS_HELP_STRING([--disable-headers-api],[Disable headers-api support]),
|
||||
[ case "$enableval" in
|
||||
*)
|
||||
AC_MSG_RESULT(yes)
|
||||
;;
|
||||
no) AC_MSG_RESULT(no)
|
||||
curl_headers_msg="no (--enable-headers-api)"
|
||||
AC_DEFINE(CURL_DISABLE_HEADERS_API, 1, [disable headers-api])
|
||||
;;
|
||||
*)
|
||||
AC_MSG_RESULT(yes)
|
||||
;;
|
||||
esac ],
|
||||
AC_MSG_RESULT(yes)
|
||||
)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue