GPI2-format.patch

   1 --- GPI2-1.2.0/src/GPI2_Logger.c.orig   2015-06-16 21:56:40.249062867 +0200
   2 +++ GPI2-1.2.0/src/GPI2_Logger.c        2015-06-16 21:58:07.382392548 +0200
   3 @@ -93,7 +93,7 @@
   4
   5    if( ! glb_gaspi_init )
   6      {
   7 -      fprintf(stdout, buf);
   8 +      fputs(buf, stdout);
   9        fflush (stdout);
  10        goto endL;
  11      }