From 5fca46ef42ab85890a3fcd2248e311d3df715258 Mon Sep 17 00:00:00 2001
From: ltrubbiani <ltrubbiani@fbk.eu>
Date: Mon, 13 Jan 2025 11:02:11 +0100
Subject: [PATCH] fix: add https

---
 core-builder-tool/builder-tool.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core-builder-tool/builder-tool.sh b/core-builder-tool/builder-tool.sh
index be0ed54b..c1b2178e 100755
--- a/core-builder-tool/builder-tool.sh
+++ b/core-builder-tool/builder-tool.sh
@@ -252,7 +252,7 @@ if [ -f "$source_dir/context-refs.txt" ]; then
                 curl -o "$destination_dir/$destination" -L "$stripped_source"
                 unzip "$destination_dir/$destination" -d "$destination_dir"
                 ;;
-            "http")
+            "http" | "https")
                 echo "Protocol: $protocol"
                 echo "Downloading $source"
                 echo "to $destination_dir/$destination"