Rafael �vila de Esp�ndola wrote: > the buildscript uses pushd that isn't available in dash. Perhaps the first > line should read "#/bin/bash"?
Done, thanks for the notice. Thiemo -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

