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 92b627c..40233b4 100644 --- a/plugin/Makefile.mingw32.in +++ b/plugin/Makefile.mingw32.in @@ -36,6 +36,7 @@ DG_SRC = \ @top_srcdir@/src/mutex.cc \ @top_srcdir@/src/path.cc \ @top_srcdir@/src/powerlist.cc \ + @top_srcdir@/src/random.cc \ @top_srcdir@/src/sample.cc \ @top_srcdir@/src/semaphore.cc \ @top_srcdir@/src/saxparser.cc \ |