diff options
Diffstat (limited to 'plugin')
| -rw-r--r-- | plugin/Makefile.mingw32.in | 2 |
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 \ |