From aa38baf5f34b0141d8c542455525a8e86b8c0505 Mon Sep 17 00:00:00 2001
From: Yuxuan Shui <yshuiv7@gmail.com>
Date: Fri, 6 Jul 2018 10:33:47 +0100
Subject: [PATCH] Add FUTEX_WAIT_BITSET to syscallbuf

---
 src/preload/syscallbuf.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/preload/syscallbuf.c b/src/preload/syscallbuf.c
index b7db1b02551..f0d6bd257fa 100644
--- a/src/preload/syscallbuf.c
+++ b/src/preload/syscallbuf.c
@@ -1317,6 +1317,7 @@ static long sys_futex(const struct syscall_info* call) {
   int op = call->args[1];
   int flags = 0;
   switch (FUTEX_CMD_MASK & op) {
+    case FUTEX_WAKE_BITSET:
     case FUTEX_WAKE:
       break;
     case FUTEX_CMP_REQUEUE: