X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fmisc%2Fbochs-2.6.11-banner-stderr.patch;fp=src%2Fmisc%2Fbochs-2.6.11-banner-stderr.patch;h=1e0af45a4b63d7f7f6bc40a5baad2c2c6e712be0;hp=0000000000000000000000000000000000000000;hb=9f013d0930202eea99c21083b71098a0df64be0d;hpb=85da529909adac7ed00861d259001b124cd5b54f

diff --git a/src/misc/bochs-2.6.11-banner-stderr.patch b/src/misc/bochs-2.6.11-banner-stderr.patch
new file mode 100644
index 0000000..1e0af45
--- /dev/null
+++ b/src/misc/bochs-2.6.11-banner-stderr.patch
@@ -0,0 +1,26 @@
+--- bochs-2.6.11.dist/main.cc	2020-01-02 08:19:02.083668000 -0800
++++ bochs-2.6.11/main.cc	2021-01-17 17:17:17.526508739 -0800
+@@ -118,18 +118,18 @@
+ {
+   char buffer[128];
+ 
+-  printf("%s\n", divider);
++  fprintf(stderr, "%s\n", divider);
+   sprintf (buffer, "Bochs x86 Emulator %s\n", VERSION);
+-  bx_center_print(stdout, buffer, 72);
++  bx_center_print(stderr, buffer, 72);
+   if (REL_STRING[0]) {
+     sprintf(buffer, "%s\n", REL_STRING);
+-    bx_center_print(stdout, buffer, 72);
++    bx_center_print(stderr, buffer, 72);
+     if (bx_get_timestamp(buffer) > 0) {
+-      bx_center_print(stdout, buffer, 72);
++      bx_center_print(stderr, buffer, 72);
+       printf("\n");
+     }
+   }
+-  printf("%s\n", divider);
++  fprintf(stderr, "%s\n", divider);
+ }
+ 
+ #if BX_WITH_CARBON