From abde007a8e113a1f26bc579bfbd27a8689fe10a3 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 6 Feb 2009 21:58:22 +0000
Subject: [PATCH] don't save signals

---
 Robust/src/Runtime/DSTM/interface/trans.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Runtime/DSTM/interface/trans.c b/Robust/src/Runtime/DSTM/interface/trans.c
index 5c1249fa..6b896083 100644
--- a/Robust/src/Runtime/DSTM/interface/trans.c
+++ b/Robust/src/Runtime/DSTM/interface/trans.c
@@ -405,7 +405,7 @@ __attribute__((pure)) objheader_t *transRead(transrecord_t *record, unsigned int
 #ifdef ABORTREADERS
   if (record->abort) {
     //abort this transaction
-    longjmp(record->aborttrans,1);
+    _longjmp(record->aborttrans,1);
   } else
     addtransaction(oid,record);
 #endif
-- 
2.34.1