Makefile: optionally switch to a specific git branch
commit01b42f91de53e83108a195765d322e6f5add1676
authorAchim Gratz <Stromeko@Stromeko.DE>
Sat, 14 Dec 2013 09:18:59 +0000 (14 10:18 +0100)
committerAchim Gratz <Stromeko@Stromeko.DE>
Sat, 14 Dec 2013 09:35:13 +0000 (14 10:35 +0100)
tree4b2aa92552c0f06d0d4cfc227d74dc92f5d50035
parent49c128c30045255aae76b7cd152de4b80bd1bdd4
Makefile: optionally switch to a specific git branch

* mk/default.mk (GIT_BRANCH): New configuration variable to specify a
  Git branch that is checked out before updating.

* mk/targets.mk (up0 up1 up2): Check out the branch in GIT_BRANCH
  before doing an update.  Stays on the current branch if GIT_BRANCH
  is undefined or empty.
mk/default.mk
mk/targets.mk