diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-04-21 12:22:19 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-21 12:22:19 +0200 |
| commit | 96a8947f039b85b919e96645d10009e85a0ce0a5 (patch) | |
| tree | f0d0cf63bbc9ae97fe789be6cdf4172b6eb65553 /plugin/Makefile.mingw32.in | |
| parent | 234073db437c39cd4eacb5e913c8559fae87bc03 (diff) | |
Fix 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 795f07a..ffdb28b 100644 --- a/plugin/Makefile.mingw32.in +++ b/plugin/Makefile.mingw32.in @@ -91,6 +91,7 @@ GUI_SRC = \ @top_srcdir@/plugingui/texture.cc \ @top_srcdir@/plugingui/texturedbox.cc \ @top_srcdir@/plugingui/toggle.cc \ + @top_srcdir@/plugingui/utf8.cc \ @top_srcdir@/plugingui/verticalline.cc \ @top_srcdir@/plugingui/widget.cc \ @top_srcdir@/plugingui/window.cc \ |