From: regehr <regehr>
Date: Wed, 4 Jun 2008 03:46:24 +0000 (+0000)
Subject: add unused annotation to be used for deputy bound temporaries
X-Git-Tag: release_tinyos_2_1_0_0~341
X-Git-Url: https://oss.titaniummirror.com/gitweb?a=commitdiff_plain;h=12c53d67d0fcbe7e6e81181e4151af8702968a58;p=tinyos-2.x.git

add unused annotation to be used for deputy bound temporaries
---

diff --git a/tos/lib/safe/include/annots_stage1.h b/tos/lib/safe/include/annots_stage1.h
index f375fb9e..bdfa61cc 100644
--- a/tos/lib/safe/include/annots_stage1.h
+++ b/tos/lib/safe/include/annots_stage1.h
@@ -2,6 +2,8 @@
 #define ANNOTS_STAGE1_INCLUDED
 #include <stddef.h>
 
+#define __DEPUTY_UNUSED__                      __attribute__((unused))
+
 // define away two obsolete annotations
 #define BOUND(x,y)
 #define SINGLE