From 887a3ba98d7a714f4c7fdf95b3c7aa2dbbe436da Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sun, 23 Mar 2008 12:18:18 +0000
Subject: [PATCH] Added helper functions for int8_t to tock_support.h (Rain
 needs these)

---
 support/tock_support.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/support/tock_support.h b/support/tock_support.h
index 89a4dc6..1c3cb2a 100644
--- a/support/tock_support.h
+++ b/support/tock_support.h
@@ -240,6 +240,9 @@ static inline uint8_t occam_rem_uint8_t (uint8_t a, uint8_t b, const char *pos)
 
 // we don't define negate for unsigned types 
 
+//}}}
+//{{{ int8_t
+MAKE_ALL_SIGNED(int8_t, "%d", uint8_t)
 //}}}
 //{{{ int16_t
 MAKE_ALL_SIGNED(int16_t, "%d", uint16_t)