jenkins: rm everything except git dir (#21658)

pull/21661/head
Adeeb Shihadeh 4 years ago committed by GitHub
parent 2c2fb4a431
commit 507cfc8910
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      selfdrive/test/setup_device_ci.sh

@ -26,6 +26,9 @@ fi
# set up environment # set up environment
cd $SOURCE_DIR cd $SOURCE_DIR
git reset --hard
git fetch
find . -maxdepth 1 -not -path './.git' -not -name '.' -not -name '..' -exec rm -rf '{}' \;
git fetch --verbose origin $GIT_COMMIT git fetch --verbose origin $GIT_COMMIT
git reset --hard $GIT_COMMIT git reset --hard $GIT_COMMIT
git checkout $GIT_COMMIT git checkout $GIT_COMMIT

Loading…
Cancel
Save