/* See LICENSE file for copyright and license details. */
#include "common.h"


void
barrierwait(pthread_barrier_t *barrier)
{
#ifndef SINGLE_THREADED
	int r = pthread_barrier_wait(barrier);
	if (r && r != PTHREAD_BARRIER_SERIAL_THREAD) {
		errno = r;
		eprintf("pthread_barrier_wait:");
	}
#else
	(void) barrier;
#endif
}