Revert "makefile: clone single pb branch"
This reverts commit 250f5ca661
.
The `--single-branch` flag requires Git 1.7.10 or later.
This commit is contained in:
parent
70a600e1b5
commit
471f18c02d
|
@ -437,7 +437,7 @@ PB_DIR == racket/src/ChezScheme/boot/pb
|
||||||
fetch-pb-from:
|
fetch-pb-from:
|
||||||
mkdir -p racket/src/ChezScheme/boot
|
mkdir -p racket/src/ChezScheme/boot
|
||||||
if [ ! -d racket/src/ChezScheme/boot/pb ] ; \
|
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
|
else cd $(PB_DIR) && git fetch -q origin $(PB_BRANCH):remotes/origin/$(PB_BRANCH) ; fi
|
||||||
cd $(PB_DIR) && git checkout -q $(PB_BRANCH)
|
cd $(PB_DIR) && git checkout -q $(PB_BRANCH)
|
||||||
|
|
||||||
|
|
2
Makefile
2
Makefile
|
@ -307,7 +307,7 @@ maybe-fetch-pb-as-is:
|
||||||
echo done
|
echo done
|
||||||
fetch-pb-from:
|
fetch-pb-from:
|
||||||
mkdir -p racket/src/ChezScheme/boot
|
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
|
cd racket/src/ChezScheme/boot/pb && git checkout -q circa-7.9.0.15-1
|
||||||
pb-fetch:
|
pb-fetch:
|
||||||
$(MAKE) fetch-pb EXTRA_REPOS_BASE="$(EXTRA_REPOS_BASE)" PB_REPO="$(PB_REPO)"
|
$(MAKE) fetch-pb EXTRA_REPOS_BASE="$(EXTRA_REPOS_BASE)" PB_REPO="$(PB_REPO)"
|
||||||
|
|
Loading…
Reference in New Issue
Block a user