Always clean the old git repo

anandhu-eng · Aug 17, 2024 · 355c171 · 355c171
1 parent 6d57f8d
commit 355c171
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/script/get-git-repo/customize.py b/script/get-git-repo/customize.py
@@ -35,7 +35,7 @@ def preprocess(i):
     git_clone_cmd = "git clone " + env['CM_GIT_RECURSE_SUBMODULES'] +  git_checkout_string + " " + env['CM_GIT_URL'] + " " + env.get('CM_GIT_DEPTH','') + ' ' + env['CM_GIT_CHECKOUT_FOLDER']
 
     env['CM_GIT_CLONE_CMD'] = git_clone_cmd
-    env['CM_TMP_GIT_PATH'] = os.path.join(os.getcwd(), env['CM_GIT_CHECKOUT_FOLDER'], ".git")
+    env['CM_TMP_GIT_PATH'] = os.path.join(os.getcwd(), env['CM_GIT_CHECKOUT_FOLDER'], ".gitdone")
 
     return {'return':0}
 

diff --git a/script/get-git-repo/run.sh b/script/get-git-repo/run.sh
@@ -5,7 +5,7 @@ echo "$CUR_DIR"
 SCRIPT_DIR=${CM_TMP_CURRENT_SCRIPT_PATH}
 
 folder=${CM_GIT_CHECKOUT_FOLDER}
-if [ ! -d "${CM_TMP_GIT_PATH}" || 1 ]; then
+if [ ! -e "${CM_TMP_GIT_PATH}" ]; then
   rm -rf ${folder}
   echo "******************************************************"
   echo "Current directory: ${CUR_DIR}"