tool_chain

[Julian Stecklina]

Hello,

I made some changes to the tool_chain script to allow customizing the
installation directory and disabling sudo. Apply the patch with:

patch -p1 < tool_chain-custom.patch

-- 
Julian Stecklina

The day Microsoft makes something that doesn't suck is probably the day
they start making vacuum cleaners - Ernst Jan Plugge
-------------- next part --------------
A non-text attachment was scrubbed...
Name: tool_chain-custom.patch
Type: text/x-patch
Size: 3220 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20090527/efaa7cef/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20090527/efaa7cef/attachment.sig>