From 9f64e2b14b3d8e0ed9f76a4972fa40d988779d65 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 4 Sep 2013 04:43:55 -0700
Subject: [PATCH] Fix another cdash warning

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/tests/kernel/threads.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/tests/kernel/threads.cpp b/src/tests/kernel/threads.cpp
index 59d90496c..038768d86 100644
--- a/src/tests/kernel/threads.cpp
+++ b/src/tests/kernel/threads.cpp
@@ -56,6 +56,8 @@ static void tst1() {
         ts[i].join();
         std::cout << "finished " << i << "\n";
     }
+    #else
+    mk(a);
     #endif
 }