don't save signals

diff --git a/Robust/src/Runtime/DSTM/interface/trans.c b/Robust/src/Runtime/DSTM/interface/trans.c
index 5c1249fac0e1406e3ad1792e35c7e591c4ba194a..6b896083bd62487fec095ea14488e31c8e3ce6d2 100644 (file)
--- 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