Merge TinyOS 2.1.1 into master.

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

diff --git a/tos/platforms/micaz/sim/.platform b/tos/platforms/micaz/sim/.platform
index fe798618f5ee1467a35f8af9f385dac77d9c0ebf..e9de97234bbbd84406bd666c034f7eb06cf03f68 100644 (file)
--- a/tos/platforms/micaz/sim/.platform
+++ b/tos/platforms/micaz/sim/.platform
@@ -28,11 +28,15 @@ push( @includes, qw(
 
 @opts = qw(
 
-  -gcc=gcc
   -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, "-mingw-gcc" if $cygwin;