pintos-os.org Git - pintos-anon/blob - src/misc/bochs-2.6.2-banner-stderr.patch

   1 diff -Naur bochs-2.6.2/main.cc bochs-2.6.2.new/main.cc
   2 --- bochs-2.6.2/main.cc 2014-01-06 23:29:42.000000001 -0800
   3 +++ bochs-2.6.2.new/main.cc     2014-01-06 22:33:42.000000001 -0800
   4 @@ -105,23 +105,23 @@
   5
   6  void bx_print_header()
   7  {
   8 -  printf("%s\n", divider);
   9 +  fprintf(stderr, "%s\n", divider);
  10    char buffer[128];
  11    sprintf (buffer, "Bochs x86 Emulator %s\n", VER_STRING);
  12 -  bx_center_print(stdout, buffer, 72);
  13 +  bx_center_print(stderr, buffer, 72);
  14    if (REL_STRING[0]) {
  15      sprintf(buffer, "%s\n", REL_STRING);
  16 -    bx_center_print(stdout, buffer, 72);
  17 +    bx_center_print(stderr, buffer, 72);
  18  #ifdef __DATE__
  19  #ifdef __TIME__
  20      sprintf(buffer, "Compiled on %s at %s\n", __DATE__, __TIME__);
  21  #else
  22      sprintf(buffer, "Compiled on %s\n", __DATE__);
  23  #endif
  24 -    bx_center_print(stdout, buffer, 72);
  25 +    bx_center_print(stderr, buffer, 72);
  26  #endif
  27    }
  28 -  printf("%s\n", divider);
  29 +  fprintf(stderr, "%s\n", divider);
  30  }
  31
  32  #if BX_WITH_CARBON