diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2019-03-16 14:11:40 +0100 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2019-05-11 14:54:51 +0200 |
| commit | 43478060e5822a5a860daf85c869a56083d98ba3 (patch) | |
| tree | 7975b1d955fadee78ee7f40efd6c6614756f2a60 /plugin/Makefile.mingw32.in | |
| parent | 098ee72f0c0092cfed11c0e7e1ac82849b4915de (diff) | |
Fix attempt for Windows build error.
Diffstat (limited to 'plugin/Makefile.mingw32.in')
| -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 \ |