diff --git a/.makefile b/.makefile index b12b4a8161..85c10b3d16 100644 --- a/.makefile +++ b/.makefile @@ -437,7 +437,7 @@ PB_DIR == racket/src/ChezScheme/boot/pb fetch-pb-from: mkdir -p racket/src/ChezScheme/boot if [ ! -d racket/src/ChezScheme/boot/pb ] ; \ - then git clone -q --single-branch -b $(PB_BRANCH) $(PB_REPO) $(PB_DIR) ; \ + then git clone -q -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 checkout -q $(PB_BRANCH) diff --git a/Makefile b/Makefile index ff12a658aa..12989afd16 100644 --- a/Makefile +++ b/Makefile @@ -307,7 +307,7 @@ maybe-fetch-pb-as-is: echo done fetch-pb-from: mkdir -p racket/src/ChezScheme/boot - if [ ! -d racket/src/ChezScheme/boot/pb ] ; then git clone -q --single-branch -b circa-7.9.0.15-1 $(PB_REPO) racket/src/ChezScheme/boot/pb ; else cd racket/src/ChezScheme/boot/pb && git fetch -q origin circa-7.9.0.15-1:remotes/origin/circa-7.9.0.15-1 ; fi + if [ ! -d racket/src/ChezScheme/boot/pb ] ; then git clone -q -b circa-7.9.0.15-1 $(PB_REPO) racket/src/ChezScheme/boot/pb ; else cd racket/src/ChezScheme/boot/pb && git fetch -q origin circa-7.9.0.15-1:remotes/origin/circa-7.9.0.15-1 ; fi cd racket/src/ChezScheme/boot/pb && git checkout -q circa-7.9.0.15-1 pb-fetch: $(MAKE) fetch-pb EXTRA_REPOS_BASE="$(EXTRA_REPOS_BASE)" PB_REPO="$(PB_REPO)"