16 lines
709 B
Diff
16 lines
709 B
Diff
diff -up wrk/src/wxterminal/wxt_gui.h.wrk wrk/src/wxterminal/wxt_gui.h
|
|
--- wrk/src/wxterminal/wxt_gui.h.wrk 2014-04-15 17:45:55.184153975 +0200
|
|
+++ wrk/src/wxterminal/wxt_gui.h 2014-04-15 17:48:08.151643628 +0200
|
|
@@ -155,8 +155,9 @@ extern "C" {
|
|
* already has its event loop, we may or may not be multithreaded */
|
|
#ifndef WXT_MONOTHREADED
|
|
#if defined(__WXGTK__)
|
|
-# define WXT_MULTITHREADED
|
|
-#elif defined(__WXMSW__) || defined(__WXMAC__)
|
|
+//avoid a crash when unlocking a not-locked mutex, do not use threads
|
|
+//# define WXT_MULTITHREADED
|
|
+//#elif defined(__WXMSW__) || defined(__WXMAC__)
|
|
# define WXT_MONOTHREADED
|
|
#else
|
|
# error "wxt does not know if this platform has to be single- or multi-threaded"
|