Updated to use Bochs 2.6.11

[pintos-anon] / src / misc / bochs-2.6.11-banner-stderr.patch

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 (file)
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