On Wed, 12 Nov 2008, Steven M. Bellovin wrote:
At a minimum, build.sh should have an option to do that, to get the proper path for the toolchain, since these instructions can fail:
USETOOLS=no