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]
