From 51d0154de2ac3c660a58c3f377f4092c6fd1621b Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 12 Oct 2012 10:21:41 -0700 Subject: [PATCH] mutex: define empty destructor I don't think we really need the destructor. It causes undefined reference compilation errors though: ... undefined reference to `std::mutex::~mutex()' --- include/mutex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/mutex b/include/mutex index 31fd7eb..482af59 100644 --- a/include/mutex +++ b/include/mutex @@ -18,7 +18,7 @@ namespace std { class mutex { public: mutex(); - ~mutex(); + ~mutex() {} void lock(); bool try_lock(); void unlock(); -- 2.34.1