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 bf52e04..5bb07d9 100644 --- a/plugin/Makefile.mingw32.in +++ b/plugin/Makefile.mingw32.in @@ -26,6 +26,7 @@ DG_SRC = \ @top_srcdir@/src/dgxmlparser.cc \ @top_srcdir@/src/directory.cc \ @top_srcdir@/src/domloader.cc \ + @top_srcdir@/src/doubletriggerfilter.cc \ @top_srcdir@/src/drumgizmo.cc \ @top_srcdir@/src/drumgizmoconf.cc \ @top_srcdir@/src/drumkit.cc \ |