[webkit-dev] Patch to prepend the name of the git branch to the $baseProductDir

[David D. Kilzer]

Thanks for the patch, Adam!

However, the process for contributing code states that you should create a bug
on <http://bugs.webkit.org/> and post the patch there with the "review?" flag
set.  We generally don't discuss or review individual patches on the mailing
list.

http://webkit.org/coding/contributing.html

Dave


Adam Treat <treat at kde.org> wrote:

> Hi,
> 
> This patch will prepend the git branch name if you are in one to the 
> $baseProductDir if you have the appropriate key/value pair in your git config
> file.
> 
> The use case is a developer who is switching between branches and testing but
> doesn't want to clobber his build everytime.  The default is off and you can 
> override the global setting on a branch by branch basis.
> 
> Comments and review welcome...
> 
> Adam