From: bdemsky Date: Sat, 7 Mar 2009 01:26:45 +0000 (+0000) Subject: guard header files X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=629a2af9aa9cb94b6bcacac2d7a3102338055b7e;p=IRC.git guard header files --- diff --git a/Robust/src/Runtime/thread.c b/Robust/src/Runtime/thread.c index 25362e6e..dfbd1ec9 100644 --- a/Robust/src/Runtime/thread.c +++ b/Robust/src/Runtime/thread.c @@ -6,8 +6,11 @@ #include "thread.h" #include "option.h" #include + +#ifdef DSTM #include #include +#endif #ifndef RAW #include