Merge remote-tracking branch 'origin/develop' into parallel-config

2018-09-21 11:06:22 +02:00
parent 2dc3dfa373 7d602d5cc2
commit 1fc9fd4a46
4 changed files with 57 additions and 21 deletions
@@ -1006,7 +1006,11 @@ static inline void wait_sync(char *thread_name) {
  pthread_mutex_unlock(&sync_mutex);
  
  printf( "got sync (%s)\n", thread_name);
-
+  /*
+   * Raphael Defosseux: added for CI to get faster the got sync message.
+   */
+  fflush(stdout);
+  fflush(stderr);
 }

 static inline int wakeup_thread(pthread_mutex_t *mutex,pthread_cond_t *cond,int *instance_cnt,char *name) {