From a2da6eafa53bfa50bdd93fe54ba17a75664a1563 Mon Sep 17 00:00:00 2001
From: Charlie Vanaret <vanaret@zib.de>
Date: Sun, 17 Nov 2024 15:07:55 +0100
Subject: [PATCH] =?UTF-8?q?[CI]=C2=A0commented=20out=20some=20code=20in=20?=
 =?UTF-8?q?generate=5Fbinaries.jl?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .github/julia/generate_binaries.jl | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/.github/julia/generate_binaries.jl b/.github/julia/generate_binaries.jl
index cb6e276d..dcbeeaaf 100644
--- a/.github/julia/generate_binaries.jl
+++ b/.github/julia/generate_binaries.jl
@@ -31,10 +31,11 @@ for (platform, libdir, ext) in platforms
       run(`tar -xzf products/$platform/deps.tar.gz -C products/$platform`)
 
       # Copy the license of each dependency
-      for folder in readdir("products/$platform/deps/licenses")
-        cp("products/$platform/deps/licenses/$folder", "products/$platform/share/licenses/$folder")
-      end
-      rm("products/$platform/deps/licenses", recursive=true)
+      # CV: temporarily comment this out
+      #for folder in readdir("products/$platform/deps/licenses")
+      #  cp("products/$platform/deps/licenses/$folder", "products/$platform/share/licenses/$folder")
+      #end
+      #rm("products/$platform/deps/licenses", recursive=true)
 
       # Copy the shared library of each dependency
       for file in readdir("products/$platform/deps")