diff options
| author | Bent Bisballe Nyeng <deva@aasimon.org> | 2017-05-06 15:41:43 +0200 |
|---|---|---|
| committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2017-05-06 15:41:43 +0200 |
| commit | b7b5b9ee2a9d6cefe9b83589122cedb89c22279c (patch) | |
| tree | b7953590423e616d1f61a8ae9a4a2a4ca154d9f5 /plugin | |
| parent | 305bc5c31dde06afb3d867abd1b461a98c868a74 (diff) | |
Remove old (obsolete) Mutex class and replace all uses with std::mutex.
Diffstat (limited to 'plugin')
| -rw-r--r-- | plugin/Makefile.mingw32.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugin/Makefile.mingw32.in b/plugin/Makefile.mingw32.in index 02475d7..6ccfe48 100644 --- a/plugin/Makefile.mingw32.in +++ b/plugin/Makefile.mingw32.in @@ -32,7 +32,6 @@ DG_SRC = \ @top_srcdir@/src/memchecker.cc \ @top_srcdir@/src/midimapparser.cc \ @top_srcdir@/src/midimapper.cc \ - @top_srcdir@/src/mutex.cc \ @top_srcdir@/src/path.cc \ @top_srcdir@/src/powerlist.cc \ @top_srcdir@/src/random.cc \ |