Merge TinyOS 2.1.1 into master.

[tinyos-2.x.git] / tos / platforms / null / .platform

diff --git a/tos/platforms/null/.platform b/tos/platforms/null/.platform
index ddb80d41b4302fefc5ea98347bd8d4d12435549e..c9e8dc3b77c06db380778c7b1aa062844b99e4e7 100644 (file)
--- a/tos/platforms/null/.platform
+++ b/tos/platforms/null/.platform
@@ -14,9 +14,14 @@ push( @includes, qw(
 
 @opts = qw(
 
-  -gcc=gcc
   -fnesc-target=pc
   -fnesc-no-debug
-  -fnesc-scheduler=TinySchedulerC,TinySchedulerC.TaskBasic,TaskBasic,TaskBasic,runTask,postTask
 
 );
+
+if (defined($ENV{"GCC"})) {
+  push @opts, "-gcc=$ENV{'GCC'}";
+} else {
+  push @opts, "-gcc=gcc";
+}
+push @opts, "-fnesc-scheduler=TinySchedulerC,TinySchedulerC.TaskBasic,TaskBasic,TaskBasic,runTask,postTask" if !$with_scheduler_flag;