diff options
author | Andreas Herrmann <aherrmann@suse.de> | 2023-07-19 17:29:56 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-07-19 20:07:55 +0300 |
commit | 92d8f00a1118b47fed5806b0830cdccf810500d3 (patch) | |
tree | 968e49d24e000f4d45a711e59f3c3d5ba2c2d914 /configure.ac | |
parent | 0dd79e0d49818e964079c6d45f7f06a385bf2704 (diff) |
configure.ac: don't overwrite NO_CURL option
Even if 'configure --with-curl=no' was run, curl support is used,
because library detection overwrites it. Avoid this overwrite.
Configure should obey what the user has specified.
Signed-off-by: Andreas Herrmann <aherrmann@suse.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 62cc8197f8..e85e215f14 100644 --- a/configure.ac +++ b/configure.ac @@ -546,6 +546,8 @@ fi # git-http-push are not built, and you cannot use http:// and https:// # transports. +if test -z "$NO_CURL"; then + GIT_STASH_FLAGS($CURLDIR) AC_CHECK_LIB([curl], [curl_global_init], @@ -554,6 +556,8 @@ AC_CHECK_LIB([curl], [curl_global_init], GIT_UNSTASH_FLAGS($CURLDIR) +fi + GIT_CONF_SUBST([NO_CURL]) if test -z "$NO_CURL"; then |