Re: [O] Makefile: switch to a specific Git branch before update

Achim Gratz writes: > In a number of recent discussions it transpired that some people expect > to automatically be switched to a specific Git branch when updating. > > I've added this as an option to the standard Makefile. Thanks! -- Bastien

[O] Makefile: switch to a specific Git branch before update

In a number of recent discussions it transpired that some people expect to automatically be switched to a specific Git branch when updating. I've added this as an option to the standard Makefile. Simply define GIT_BRANCH (either on the command line or in local.mk) to determine which branch you w