Re: [Tinyos-help] PLATFORM assignment bug in several target Makefiles

2010-12-11 Thread Ben Ransford
On Sat, Dec 11, 2010 at 11:03 PM, Thomas Schmid 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 sit

Re: [Tinyos-help] PLATFORM assignment bug in several target Makefiles

2010-12-11 Thread Thomas Schmid
Hi Ben, 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. Cheers, - Thomas On Sat, Dec 11, 2010 at 9:24 AM, Ben Ransford wrote: > Hello, > > On vanilla Ubuntu 10

[Tinyos-help] PLATFORM assignment bug in several target Makefiles

2010-12-11 Thread Ben Ransford
Hello, On vanilla Ubuntu 10.{4,10} with current TinyOS from the Stanford apt repository, I noticed that 'make telosb' failed on the Null application; it picked up a value of "Linux" for $(PLATFORM). Here's why: $ grep PLATFORM support/make/telosb.target PLATFORM ?= telosb ... which sets PLA