diff options
Diffstat (limited to 'plugingui/Makefile.mingw32')
| -rw-r--r-- | plugingui/Makefile.mingw32 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugingui/Makefile.mingw32 b/plugingui/Makefile.mingw32 index c7a4c53..17e232f 100644 --- a/plugingui/Makefile.mingw32 +++ b/plugingui/Makefile.mingw32 @@ -33,7 +33,8 @@ CXX_SOURCES = \ $(top_srcdir)/plugingui/filebrowser.cc \ $(top_srcdir)/plugingui/knob.cc \ $(top_srcdir)/plugingui/combobox.cc \ - $(top_srcdir)/src/thread.cc + $(top_srcdir)/src/thread.cc \ + $(top_srcdir)/src/semaphore.cc OBJECTS=$(CXX_SOURCES:.cc=.o) $(C_SOURCES:.c=.o) #OBJECTS=$(PLUGIN_GUI_SOURCES:.cc=.o) |