From 471f18c02d5d655bf42e0580737fe95f61d016a0 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 28 Dec 2020 09:53:31 -0700 Subject: [PATCH] Revert "makefile: clone single pb branch" This reverts commit 250f5ca661180b104ed0841114e23bce0dfa49ec. The `--single-branch` flag requires Git 1.7.10 or later. --- .makefile | 2 +- Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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)"