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

Adam Treat treat at kde.org
Mon Nov 19 09:22:16 PST 2007


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 

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...

-------------- 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

More information about the webkit-dev mailing list