Hallo, although the update command didn't help, I deleted my complete tinyos-2.x tree and checked-out again. Now it's working. Thanks a lot for the hint!!
Cheers Marcel _______________________________________________ Tinyos-help mailing list [email protected] https://mail.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
