mirror of https://github.com/zcash/zips.git
protocol/Makefile: fix `release` target to use `main` branch rather than `master`.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
parent
b1a707e963
commit
feb864b672
|
@ -28,12 +28,12 @@ ifeq ($(shell git tag --points-at HEAD |wc -l),0)
|
||||||
echo "Set a tag at HEAD first."
|
echo "Set a tag at HEAD first."
|
||||||
else
|
else
|
||||||
$(eval TAG := $(shell git tag --points-at HEAD))
|
$(eval TAG := $(shell git tag --points-at HEAD))
|
||||||
if [[ "$(shell git rev-parse --abbrev-ref HEAD)" != "master" ]]; then echo "Not on master."; exit 1; fi
|
if [[ "$(shell git rev-parse --abbrev-ref HEAD)" != "main" ]]; then echo "Not on main."; exit 1; fi
|
||||||
$(MAKE) clean all
|
$(MAKE) clean all
|
||||||
git add *.pdf
|
git add *.pdf
|
||||||
git commit -m "Regenerate PDFs." *.pdf
|
git commit -m "Regenerate PDFs." *.pdf
|
||||||
git tag "v$(TAG)"
|
git tag "v$(TAG)"
|
||||||
git push --tags origin HEAD:master
|
git push --tags origin HEAD:main
|
||||||
endif
|
endif
|
||||||
|
|
||||||
discard:
|
discard:
|
||||||
|
|
Loading…
Reference in New Issue