summaryrefslogtreecommitdiff
path: root/lib/thread
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-07-28 16:57:29 -0700
committerOri Bernstein <ori@eigenstate.org>2018-07-28 16:57:29 -0700
commitd1e7671e6bd6a12d5444716bfbcd3e88ba7e3b5f (patch)
tree0988db03e81db30c6cc16a341b708813b98a0222 /lib/thread
parent38727e953df2c11f5600ea6f3142ec4366fce3cf (diff)
downloadmc-d1e7671e6bd6a12d5444716bfbcd3e88ba7e3b5f.tar.gz
Fix openbsd build.
Diffstat (limited to 'lib/thread')
-rw-r--r--lib/thread/condvar+openbsd:6.2.myr4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/thread/condvar+openbsd:6.2.myr b/lib/thread/condvar+openbsd:6.2.myr
index c72d0ee..29dbb35 100644
--- a/lib/thread/condvar+openbsd:6.2.myr
+++ b/lib/thread/condvar+openbsd:6.2.myr
@@ -22,7 +22,7 @@ const mkcond = {mtx
}
const condwait = {cond
- var seq
+ var seq : uint32
var mtx
mtx = cond._mtx
@@ -33,7 +33,7 @@ const condwait = {cond
FIXME?: `futex` can be interrupted but `condwait` should always be done
in a loop anyway.
*/
- sys.futex(&cond._seq, sys.Futexwait, seq, Zptr, Zptr)
+ sys.futex(&cond._seq, sys.Futexwait, (seq : int), Zptr, Zptr)
/*
We need to atomically set the mutex to contended. This allows us to