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

[Adam Treat]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: script.diff
Type: text/x-diff
Size: 3043 bytes
Desc: not available
Url : http://lists.webkit.org/pipermail/webkit-dev/attachments/20071119/5df13c30/script.bin