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

David D. Kilzer ddkilzer at kilzer.net
Mon Nov 19 09:59:56 PST 2007

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



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

More information about the webkit-dev mailing list