From b415eaa987f51471d60583da038f19dbec0dec23 Mon Sep 17 00:00:00 2001 From: Marco Ippolito Date: Sat, 13 May 2023 22:34:19 +0200 Subject: [PATCH] tools: debug log for nghttp3 --- tools/dep_updaters/update-nghttp3.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/dep_updaters/update-nghttp3.sh b/tools/dep_updaters/update-nghttp3.sh index cc140969778d03..a3c035d871774b 100755 --- a/tools/dep_updaters/update-nghttp3.sh +++ b/tools/dep_updaters/update-nghttp3.sh @@ -20,6 +20,8 @@ NGHTTP3_VERSION_H="$DEPS_DIR/ngtcp2/nghttp3/lib/includes/nghttp3/version.h" CURRENT_VERSION=$(grep "#define NGHTTP3_VERSION" "$NGHTTP3_VERSION_H" | sed -n "s/^.*VERSION \"\(.*\)\"/\1/p") +echo "Comparing $NEW_VERSION with $CURRENT_VERSION" + if [ "$NEW_VERSION" = "$CURRENT_VERSION" ]; then echo "Skipped because http3 is on the latest version." exit 0