jenkins: always do the copy in safe_checkout

This commit is contained in:
Adeeb Shihadeh
2023-12-14 23:40:46 -08:00
parent 6f143f6c45
commit 1733b04741
+1 -3
View File
@@ -79,9 +79,7 @@ safe_checkout() {
echo "git checkout done, t=$SECONDS"
du -hs $SOURCE_DIR $SOURCE_DIR/.git
if [ -z "SKIP_COPY" ]; then
rsync -a --delete $SOURCE_DIR $TEST_DIR
fi
rsync -a --delete $SOURCE_DIR $TEST_DIR
}
unsafe_checkout() {