From 9cb96b7ddded318c9ef967865f67d6b8d5cfd01a Mon Sep 17 00:00:00 2001 From: Bent Bisballe Nyeng Date: Thu, 14 Mar 2013 19:06:41 +0100 Subject: Fix GUI crash on close. --- plugingui/Makefile.mingw32 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'plugingui/Makefile.mingw32') 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) -- cgit v1.2.3