diff options
Diffstat (limited to 'plugin')
| -rw-r--r-- | plugin/Makefile.mingw32.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugin/Makefile.mingw32.in b/plugin/Makefile.mingw32.in index eaf2e64..6652f72 100644 --- a/plugin/Makefile.mingw32.in +++ b/plugin/Makefile.mingw32.in @@ -35,6 +35,7 @@ DG_SRC = \ @top_srcdir@/src/powerlist.cc \ @top_srcdir@/src/random.cc \ @top_srcdir@/src/sample.cc \ + @top_srcdir@/src/sample_selection.cc \ @top_srcdir@/src/semaphore.cc \ @top_srcdir@/src/staminafilter.cc \ @top_srcdir@/src/thread.cc \ |