From d4745e835beb72a1ba133d4dd868606e357e96dc Mon Sep 17 00:00:00 2001
From: Pietro Mazzini <mazzini.pietro@protonmail.com>
Date: Sat, 25 Jul 2020 11:01:53 +0200
Subject: [PATCH] Comment git repo tag in installing_deps, git repo not
 recognised

---
 installing_deps.sh | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/installing_deps.sh b/installing_deps.sh
index 5ed4665b..4d0cddf4 100755
--- a/installing_deps.sh
+++ b/installing_deps.sh
@@ -111,13 +111,13 @@ $AIL_HOME/doc/generate_modules_data_flow_graph.sh
 #### DB SETUP ####
 
 # init update version
-pushd ${AIL_HOME}
+#pushd ${AIL_HOME}
 # shallow clone
-git fetch --depth=500 --tags --prune
-git describe --abbrev=0 --tags | tr -d '\n' > ${AIL_HOME}/update/current_version
-echo "AIL current version:"
-git describe --abbrev=0 --tags
-popd
+#git fetch --depth=500 --tags --prune
+#git describe --abbrev=0 --tags | tr -d '\n' > ${AIL_HOME}/update/current_version
+#echo "AIL current version:"
+#git describe --abbrev=0 --tags
+#popd
 
 # LAUNCH ARDB
 bash ${AIL_BIN}/LAUNCH.sh -lav &