Skip to content

Commit

Permalink
Introduce PKG_BRANCH for bootstrapping package archives
Browse files Browse the repository at this point in the history
  • Loading branch information
Alexander Konovalov committed Sep 4, 2017
1 parent 63f8b0d commit 28d8298
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions Makefile.rules
View file
Original file line number Diff line number Diff line change
Expand Up @@ -924,8 +924,9 @@ coverage:
########################################################################

PKG_BOOTSTRAP_URL = https://www.gap-system.org/pub/gap/gap4pkgs/
PKG_MINIMAL = packages-required-master.tar.gz
PKG_FULL = packages-master.tar.gz
PKG_BRANCH = master # change to stable-X.Y in stable branch
PKG_MINIMAL = packages-required-$(PKG_BRANCH).tar.gz
PKG_FULL = packages-$(PKG_BRANCH).tar.gz
WGET = wget -N

bootstrap-pkg-minimal:
Expand Down

0 comments on commit 28d8298

Please sign in to comment.