diff --git a/scripts/compile_kernel.sh b/scripts/compile_kernel.sh index 8648169..52acf40 100755 --- a/scripts/compile_kernel.sh +++ b/scripts/compile_kernel.sh @@ -83,9 +83,6 @@ function clone_or_update_repo_for () { local repo_path=$2 local repo_commit=$3 - if [ ! -z "${repo_commit}" ]; then - rm -rf $repo_path - fi if [ -d ${repo_path}/.git ]; then pushd $repo_path git reset --hard HEAD