CI: basic-simulator --> seg fault core dumps are recovered and part of artifacts

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2018-09-19 11:55:43 +02:00
parent bf961a4268
commit 7d602d5cc2
3 changed files with 55 additions and 19 deletions
@@ -866,16 +866,7 @@ static  void wait_nfapi_init(char *thread_name) {
  
  pthread_mutex_unlock(&nfapi_sync_mutex);
  
-  /*
-   * Raphael Defosseux: temporary workaround for CI
-   * -- Repeating the message thrice to make sure
-   * -- it is present during flush.
-   */
  printf( "NFAPI: got sync (%s)\n", thread_name);
-  printf( "NFAPI: got sync (%s)\n", thread_name);
-  printf( "NFAPI: got sync (%s)\n", thread_name);
-  fflush(stdout);
-  fflush(stderr);
 }

 int main( int argc, char **argv )