problem with the git repository

Submitty · Oct 22, 2023 · 534c639 · 534c639
1 parent e256cb2
commit 534c639
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/install_analysistoolsts.sh b/install_analysistoolsts.sh
@@ -40,6 +40,12 @@ do
 
     echo "clone or update ${repo}... "
 
+    # TEMPORARY - workaround due to problem with the git repository
+    # just delete the directory and start over
+    echo "removing ${dir}"
+    rm -rf "${dir}"
+    # TEMPORARY
+
     if [ -d "${dir}" ]; then
         echo "pulling changes ..."
         # IF THE REPO ALREADY EXISTS...