From 960dcb5f412fb73ed56aba7f2367ca31de853a4a Mon Sep 17 00:00:00 2001
From: Incardona Pietro <incardon@mpi-cbg.de>
Date: Sat, 30 Apr 2022 03:29:58 +0200
Subject: [PATCH] Remove ZLIB
---
script/remove_old | 1 +
1 file changed, 1 insertion(+)
diff --git a/script/remove_old b/script/remove_old
index 9ef3ff944..4e5e56297 100755
--- a/script/remove_old
+++ b/script/remove_old
@@ -165,6 +165,7 @@ function remove_old()
echo -e "\033[1;34;5m -------------------------------------------------------------------------------------- \033[0m"
sleep 5
rm -rf $1/HDF5
+ rm -rf $1/ZLIB
fi
fi
--
GitLab