The following commit has been merged in the master branch:
commit 91fdad995178d232e3e0c7b86e0945144daf42f9
Author: andrei zavada <[email protected]>
Date: Thu Oct 25 01:41:20 2012 +0300
maybe this helps against those random segfaults with big OMP?
diff --git a/src/ui/ed-populate.cc b/src/ui/ed-populate.cc
index 8c6660f..de01266 100644
--- a/src/ui/ed-populate.cc
+++ b/src/ui/ed-populate.cc
@@ -355,6 +355,7 @@ populate_1()
#ifdef _OPENMP
#pragma omp barrier
#endif
+ gtk_flush();
// touch toolbar controls
suppress_redraw = true;
--
Sleep experiment manager
_______________________________________________
debian-med-commit mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-med-commit
