diff --git a/packages/gnuchess/components.cc.patch b/packages/gnuchess/components.cc.patch new file mode 100644 index 000000000..f713e8e6f --- /dev/null +++ b/packages/gnuchess/components.cc.patch @@ -0,0 +1,11 @@ +diff -uNr gnuchess-6.2.5/src/components.cc gnuchess-6.2.5.mod/src/components.cc +--- gnuchess-6.2.5/src/components.cc 2017-06-11 18:17:14.000000000 +0300 ++++ gnuchess-6.2.5.mod/src/components.cc 2018-11-09 14:17:10.952608702 +0200 +@@ -171,6 +171,6 @@ + + void TerminateInput() + { +- pthread_cancel( input_thread ); ++ pthread_kill( input_thread, 0 ); + pthread_join( input_thread, NULL ); + }