diff options
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 \ |