Peter, thank You for your notice to the thread on bugzilla, they solved the problem there one day ago. I did not hit the source during my googling by myself, unfortunately. Tom _______________________________________________ arm mailing list -- arm@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to arm-leave@xxxxxxxxxxxxxxxxxxxxxxx
