From 38b5f25da25c9b525233cf6c1d0ff36e3650dc04 Mon Sep 17 00:00:00 2001 From: Adeeb Shihadeh Date: Thu, 25 Jun 2020 15:19:48 -0700 Subject: [PATCH] actually remove all old files --- release/build_devel.sh | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/release/build_devel.sh b/release/build_devel.sh index 9febb866df..8addd776ba 100755 --- a/release/build_devel.sh +++ b/release/build_devel.sh @@ -43,12 +43,9 @@ git checkout master-ci git reset --hard origin/devel git clean -xdf -# leave .git alone +# remove everything except .git echo "[-] erasing old openpilot T=$SECONDS" -rm -rf $TARGET_DIR/* $TARGET_DIR/.gitmodules - -# delete dotfiles in root -find . -maxdepth 1 -type f -delete +find . -maxdepth 1 -not -path './.git' -not -name '.' -not -name '..' -exec rm -rf '{}' \; # reset tree and get version cd $SOURCE_DIR