trouble when restarting pipeline

This commit is contained in:
Martin Diehl 2017-05-29 10:46:26 +02:00
parent e5af0630fe
commit 5bd93e2117
1 changed files with 1 additions and 0 deletions

View File

@ -96,6 +96,7 @@ checkout:
script: script:
- mkdir -p $DAMASKROOT - mkdir -p $DAMASKROOT
- cd $DAMASKROOT - cd $DAMASKROOT
- if [ -d DAMASK ]; then rm -rf DAMASK; fi # there might be some leftovers from a failed clone
- git clone -q git@magit1.mpie.de:damask/DAMASK.git . - git clone -q git@magit1.mpie.de:damask/DAMASK.git .
- git checkout $CI_COMMIT_SHA - git checkout $CI_COMMIT_SHA
- git submodule update --init - git submodule update --init