From c5a184725a378104f51d98add293ceb702bb42fe Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 21 Apr 2009 00:05:58 +0000
Subject: [PATCH] barrier bug

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

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 057ccb82..dfd8cf89 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -206,7 +206,7 @@ void CALL00(___Barrier______enterBarrier____) {
   // Synchronization point
   int ret;
   ret = pthread_barrier_wait(&barrier);
-  if(ret != 0) {
+  if(ret != 0 && ret != PTHREAD_BARRIER_SERIAL_THREAD) {
     printf("%s() Could not wait on barrier: error %d\n", __func__, errno);
     perror("");
     exit(-1);
-- 
2.34.1