From 8d78abbf57da01ac6d14d54c52ae70a294d1e806 Mon Sep 17 00:00:00 2001 From: regehr Date: Wed, 2 Jul 2008 18:44:09 +0000 Subject: [PATCH] hack to avoid breaking the build for people not yet using deputy with NTS --- tos/lib/safe/include/annots_stage1.h | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/tos/lib/safe/include/annots_stage1.h b/tos/lib/safe/include/annots_stage1.h index d037deff..1eca53f7 100644 --- a/tos/lib/safe/include/annots_stage1.h +++ b/tos/lib/safe/include/annots_stage1.h @@ -3,10 +3,15 @@ #ifndef ANNOTS_STAGE1_INCLUDED #define ANNOTS_STAGE1_INCLUDED -// define away two obsolete annotations +// JDR temporary code: define away two obsolete annotations #define BOUND(x,y) #define SINGLE +// JDR temporary code: define away NTS in unsafe mode +#ifndef SAFE_TINYOS +#define NTS +#endif + #if NESC < 130 #define __DEPUTY_UNUSED__ __attribute__((unused)) -- 2.39.2