...
|
...
|
@@ -319,11 +319,10 @@ function git_clone {
|
319
|
319
|
# set the url to pull from and fetch
|
320
|
320
|
git remote set-url origin $GIT_REMOTE
|
321
|
321
|
git fetch origin
|
322
|
|
- # if we don't delete the local content, then our system has pyc files
|
323
|
|
- # from the previous branch leading to breakage (due to the py files
|
324
|
|
- # having older timestamps than our pyc, so python thinks the pyc files
|
325
|
|
- # are correct using them)
|
326
|
|
- sudo rm -rf *
|
|
322
|
+ # remove the existing ignored files (like pyc) as they cause breakage
|
|
323
|
+ # (due to the py files having older timestamps than our pyc, so python
|
|
324
|
+ # thinks the pyc files are correct using them)
|
|
325
|
+ sudo git clean -f -d
|
327
|
326
|
git checkout -f origin/$GIT_BRANCH
|
328
|
327
|
# a local branch might not exist for $3
|
329
|
328
|
git branch -D $GIT_BRANCH || true
|