makefile: fix pb-fetch after starting with mode

(cherry picked from commit 9a65aaf)
racket · May 4, 2021 · b78bd33 · b78bd33
1 parent bd21dfd
commit b78bd33
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.makefile b/.makefile
@@ -448,6 +448,7 @@ fetch-pb-from:
 	if [ ! -d racket/src/ChezScheme/boot/pb ] ; \
 	  then git clone -q $(SINGLE_BRANCH_FLAG) -b $(PB_BRANCH) $(PB_REPO) $(PB_DIR) ; \
 	  else cd $(PB_DIR) && git fetch -q origin $(PB_BRANCH):remotes/origin/$(PB_BRANCH) ; fi
+	cd $(PB_DIR) && git remote set-branches origin $(PB_BRANCH)
 	cd $(PB_DIR) && git checkout -q $(PB_BRANCH)
 
 pb-fetch:

diff --git a/Makefile b/Makefile
@@ -311,6 +311,7 @@ maybe-fetch-pb-as-is:
 fetch-pb-from:
 	mkdir -p racket/src/ChezScheme/boot
 	if [ ! -d racket/src/ChezScheme/boot/pb ] ; 	  then git clone -q $(SINGLE_BRANCH_FLAG) -b v8.1 $(PB_REPO) racket/src/ChezScheme/boot/pb ; 	  else cd racket/src/ChezScheme/boot/pb && git fetch -q origin v8.1:remotes/origin/v8.1 ; fi
+	cd racket/src/ChezScheme/boot/pb && git remote set-branches origin v8.1
 	cd racket/src/ChezScheme/boot/pb && git checkout -q v8.1
 pb-fetch:
 	$(MAKE) fetch-pb EXTRA_REPOS_BASE="$(EXTRA_REPOS_BASE)" PB_REPO="$(PB_REPO)" SINGLE_BRANCH_FLAG="$(SINGLE_BRANCH_FLAG)"