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

   1 --- bochs-2.6.11.dist/main.cc   2020-01-02 08:19:02.083668000 -0800
   2 +++ bochs-2.6.11/main.cc        2021-01-17 17:17:17.526508739 -0800
   3 @@ -118,18 +118,18 @@
   4  {
   5    char buffer[128];
   6
   7 -  printf("%s\n", divider);
   8 +  fprintf(stderr, "%s\n", divider);
   9    sprintf (buffer, "Bochs x86 Emulator %s\n", VERSION);
  10 -  bx_center_print(stdout, buffer, 72);
  11 +  bx_center_print(stderr, buffer, 72);
  12    if (REL_STRING[0]) {
  13      sprintf(buffer, "%s\n", REL_STRING);
  14 -    bx_center_print(stdout, buffer, 72);
  15 +    bx_center_print(stderr, buffer, 72);
  16      if (bx_get_timestamp(buffer) > 0) {
  17 -      bx_center_print(stdout, buffer, 72);
  18 +      bx_center_print(stderr, buffer, 72);
  19        printf("\n");
  20      }
  21    }
  22 -  printf("%s\n", divider);
  23 +  fprintf(stderr, "%s\n", divider);
  24  }
  25
  26  #if BX_WITH_CARBON