fix build

diff --git a/Robust/src/Runtime/STM/stm.c b/Robust/src/Runtime/STM/stm.c
index 9332b231cd1a822f3373dfe20504834c4f168991..230565330a7a6b768733bdc03a7e1fcadb01bb1c 100644 (file)
--- a/Robust/src/Runtime/STM/stm.c
+++ b/Robust/src/Runtime/STM/stm.c
@@ -12,7 +12,6 @@
 
 #include "tm.h"
 #include "garbage.h"
-#include <signal.h>
 
 #define likely(x) x
 /* Per thread transaction variables */

diff --git a/Robust/src/Runtime/STM/tm.h b/Robust/src/Runtime/STM/tm.h
index 477199f235dd5cf128e20959db28960976f107e4..9f7847abf5da3a184a8d078bda0d78117adc88bd 100644 (file)
--- a/Robust/src/Runtime/STM/tm.h
+++ b/Robust/src/Runtime/STM/tm.h
@@ -218,6 +218,7 @@ objheader_t * needLock(objheader_t *, void *);
 #endif
 #ifdef SANDBOX
 #include <setjmp.h>
+#include <signal.h>
 extern __thread jmp_buf aborttrans;
 extern __thread int abortenabled;
 int checktrans();