From 780cd80cf114ce3484d0ff788ec0c1f8b0b63bb3 Mon Sep 17 00:00:00 2001 From: yangniao23 Date: Thu, 11 Jun 2020 19:58:55 +0900 Subject: [PATCH] =?utf8?q?Update=20'git=20pull=20-f'=E3=81=B8=E5=A4=89?= =?utf8?q?=E6=9B=B4?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index bb76203a..1a416124 100755 --- a/build.sh +++ b/build.sh @@ -434,7 +434,7 @@ remove_work() { # Preparation for build prepare_build() { # Run 'git pull' when building on docker. - [[ "${_DOCKER}" == true ]] && git pull origin && _msg_info "pulling AlterLinux repository..." + [[ "${_DOCKER}" == true ]] && git pull -f origin && _msg_info "pulling AlterLinux repository..." # Create a working directory. [[ ! -d "${work_dir}" ]] && mkdir -p "${work_dir}" -- 2.11.0