From 1fdd336a3924bd6a8559e44018d9897de9b76d54 Mon Sep 17 00:00:00 2001 From: Viktor Szakats Date: Tue, 28 May 2024 08:23:30 +0200 Subject: [PATCH] curl.sh: upstream PR merged now, update comment [ci skip] --- curl.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/curl.sh b/curl.sh index 6cadc7bc2..ae02937a4 100755 --- a/curl.sh +++ b/curl.sh @@ -85,7 +85,6 @@ _VER="$1" if [[ "${_CONFIG}" = *'debug'* ]]; then options+=' -DENABLE_DEBUG=ON' - # Pending https://github.com/curl/curl/pull/13592 if [ "${CURL_VER_}" != '8.8.0' ]; then # curl would only set this automatically for the 'Debug' configuration # Required for certain BUILD_TESTING=ON 'testdeps' build targets to link