X-Git-Url: https://oss.titaniummirror.com/gitweb/?p=tinyos-2.x.git;a=blobdiff_plain;f=tos%2Fplatforms%2Fnull%2F.platform;h=c9e8dc3b77c06db380778c7b1aa062844b99e4e7;hp=9ae17389d97cfaeb8dc706ba8b3ab9e29d0b8418;hb=e9bfab607e051bae6afb47b44892ce37541d1b44;hpb=adf1de6c009d13b7b52e68535c63b28f59c97400

diff --git a/tos/platforms/null/.platform b/tos/platforms/null/.platform
index 9ae17389..c9e8dc3b 100644
--- 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;