barrier bug

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 057ccb827c87937bcb83b0b950e96155dc267419..dfd8cf892dde38230f74c7fb1591192e9047cde5 100644 (file)
--- 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);