Comment git repo tag in installing_deps, git repo not recognised

pull/519/head
Pietro Mazzini 2020-07-25 11:01:53 +02:00
parent 85f2573023
commit d4745e835b
1 changed files with 6 additions and 6 deletions

View File

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