From 916e348decc0c65261ca89ebe3ebb2d722d38bf7 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Mon, 12 Aug 2013 14:57:24 -0700
Subject: [PATCH] Disable thread-related tests on OSX due to the bug on
 gcc-4.8.1

---
 src/tests/kernel/arith.cpp   | 3 +++
 src/tests/kernel/threads.cpp | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/src/tests/kernel/arith.cpp b/src/tests/kernel/arith.cpp
index 10981b7da4..cf658852fd 100644
--- a/src/tests/kernel/arith.cpp
+++ b/src/tests/kernel/arith.cpp
@@ -83,10 +83,13 @@ static void tst6() {
     std::cout << "tst6\n";
     std::cout << mk_int_add_fn().raw() << "\n";
     std::cout << mk_int_add_fn().raw() << "\n";
+
+    #ifndef __APPLE__
     std::thread t1([](){ std::cout << "t1: " << mk_int_add_fn().raw() << "\n"; });
     t1.join();
     std::thread t2([](){ std::cout << "t2: " << mk_int_add_fn().raw() << "\n"; });
     t2.join();
+    #endif
     std::cout << mk_int_add_fn().raw() << "\n";
 }
 
diff --git a/src/tests/kernel/threads.cpp b/src/tests/kernel/threads.cpp
index 12a8674d4c..7f6466b9bf 100644
--- a/src/tests/kernel/threads.cpp
+++ b/src/tests/kernel/threads.cpp
@@ -48,6 +48,7 @@ static void tst1() {
     a = f(a, a);
     std::vector<std::thread> ts;
 
+    #ifndef __APPLE__
     for (unsigned i = 0; i < 8; i++) {
         ts.push_back(std::thread([&](){ mk(a); }));
     }
@@ -55,6 +56,7 @@ static void tst1() {
         ts[i].join();
         std::cout << "finished " << i << "\n";
     }
+    #endif
 }
 
 int main() {