makefile: fix pb-fetch after starting with --single-branch mode

This commit is contained in:
Matthew Flatt 2021-05-03 16:42:01 -06:00
parent 9c60382461
commit 9a65aaf444
2 changed files with 2 additions and 0 deletions

View File

@ -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:

View File

@ -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 circa-8.1.0.4-1 $(PB_REPO) racket/src/ChezScheme/boot/pb ; else cd racket/src/ChezScheme/boot/pb && git fetch -q origin circa-8.1.0.4-1:remotes/origin/circa-8.1.0.4-1 ; fi
cd racket/src/ChezScheme/boot/pb && git remote set-branches origin circa-8.1.0.4-1
cd racket/src/ChezScheme/boot/pb && git checkout -q circa-8.1.0.4-1
pb-fetch:
$(MAKE) fetch-pb EXTRA_REPOS_BASE="$(EXTRA_REPOS_BASE)" PB_REPO="$(PB_REPO)" SINGLE_BRANCH_FLAG="$(SINGLE_BRANCH_FLAG)"