Ulrich,

>
>Now the build.sh script doesn't work anymore :)
>
Try delete build/*  before launching build.

- PH



---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to