On Sat, Dec 11, 2010 at 11:03 PM, Thomas Schmid <[email protected]> wrote: > I am not sure if this is universal. You might have defined $PLATFORM > somewhere in your startup scripts (.bashrc, .profile), as on my Ubuntu > 10.04 $PLATFORM is not defined as Linux.
Hi Thomas, Good detective work -- you're right! A site-specific startup script was setting a $PLATFORM environment variable for me, and after suppressing that script I can build Null without the patch I sent. However, I suppose the patch isn't useless; it enforces consistency across the targets. At any rate, thanks for the answer. -ben _______________________________________________ Tinyos-help mailing list [email protected] https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
