From ba4704fbbdfaef48b8b653778fb6ef2194c77c4d Mon Sep 17 00:00:00 2001
From: regehr <regehr>
Date: Wed, 4 Jun 2008 04:52:58 +0000
Subject: [PATCH] finally move the last of our stuff out of here

---
 tools/tinyos/ncc/ncc.in | 32 --------------------------------
 1 file changed, 32 deletions(-)

diff --git a/tools/tinyos/ncc/ncc.in b/tools/tinyos/ncc/ncc.in
index df2ffb16..2f1b5b99 100644
--- a/tools/tinyos/ncc/ncc.in
+++ b/tools/tinyos/ncc/ncc.in
@@ -82,10 +82,6 @@ for ($i = 0; $i <= $#ARGV; $i++) {
 	    $strip = 1;
 	    push @includes, $file;
 	}
-        elsif (/^-safe$/) {
-            $safe = 1;
-            $_ = "-fnesc-safe";
-        }
 	elsif (/^-fnesc-cfile=(.*)/){
 	    $appfilename=$1;
 	}
@@ -139,34 +135,6 @@ if (!defined $target) {
     }
 }
 
-if ($safe) {
-
-    my $safe_home = $ENV{'TOSDIR'}."/lib/safe";
-
-    if (($target eq "mica2") or ($target eq "micaz")) {
-	$mcu = "avr";
-    } elsif ($target eq "telosb") {
-	$mcu = "msp430";
-    } else {
-	print STDERR "Safe TinyOS does not (yet) support the ${target} target.\n";
-	print STDERR "Supported targets: ";
-	print STDERR "mica2, micaz, telosb\n";
-	exit 2;
-    }
-
-    push @new_args, "-fnesc-deputy";
-
-    $failfile = "${TOSDIR}/lib/safe/${mcu}/fail.c";
-
-    my $deputy_args = "-I${safe_home}/include " .
-                      "--FLIDs " . 
-                      "--envmachine " .
-                      "-DSAFE_TINYOS " .
-                      "--nolib";
-    push @new_args, "-fnesc-deputy-args=$deputy_args";
-    push @new_args, "$failfile";
-}
-
 if (!defined $scheduler && !$is_tos_1) {
 	$scheduler = "TinySchedulerC,TinySchedulerC.TaskBasic,TaskBasic,TaskBasic,runTask,postTask";
 }
-- 
2.39.2