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 9ae17389d97cfaeb8dc706ba8b3ab9e29d0b8418..c9e8dc3b77c06db380778c7b1aa062844b99e4e7 100644 (file)
--- a/tos/platforms/null/.platform
+++ b/tos/platforms/null/.platform
@@ -14,10 +14,14 @@ push( @includes, qw(
 
 @opts = qw(
 
-  -gcc=gcc
   -fnesc-target=pc
   -fnesc-no-debug
 
 );
 
+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;