summaryrefslogtreecommitdiff
path: root/plugin
diff options
context:
space:
mode:
Diffstat (limited to 'plugin')
-rw-r--r--plugin/Makefile.mingw32.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/plugin/Makefile.mingw32.in b/plugin/Makefile.mingw32.in
index 610d5e9..50d6478 100644
--- a/plugin/Makefile.mingw32.in
+++ b/plugin/Makefile.mingw32.in
@@ -36,7 +36,7 @@ DG_SRC = \
@top_srcdir@/src/random.cc \
@top_srcdir@/src/sample.cc \
@top_srcdir@/src/sample_selection.cc \
- @top_srcdir@/src/semaphore.cc \
+ @top_srcdir@/src/sem.cc \
@top_srcdir@/src/staminafilter.cc \
@top_srcdir@/src/thread.cc \
@top_srcdir@/src/velocityfilter.cc \