X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fmisc%2Fbochs-2.6.2-banner-stderr.patch;fp=src%2Fmisc%2Fbochs-2.6.2-banner-stderr.patch;h=8587142c9d8963f51a89267a41636f6685855489;hp=0000000000000000000000000000000000000000;hb=a8586578bb7a9dbbbca7b39a9f92058e3f551f9d;hpb=bd5dde3034714da175496292c92dc5a37509a311

diff --git a/src/misc/bochs-2.6.2-banner-stderr.patch b/src/misc/bochs-2.6.2-banner-stderr.patch
new file mode 100644
index 0000000..8587142
--- /dev/null
+++ b/src/misc/bochs-2.6.2-banner-stderr.patch
@@ -0,0 +1,32 @@
+diff -Naur bochs-2.6.2/main.cc bochs-2.6.2.new/main.cc
+--- bochs-2.6.2/main.cc	2014-01-06 23:29:42.000000001 -0800
++++ bochs-2.6.2.new/main.cc	2014-01-06 22:33:42.000000001 -0800
+@@ -105,23 +105,23 @@
+ 
+ void bx_print_header()
+ {
+-  printf("%s\n", divider);
++  fprintf(stderr, "%s\n", divider);
+   char buffer[128];
+   sprintf (buffer, "Bochs x86 Emulator %s\n", VER_STRING);
+-  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);
+ #ifdef __DATE__
+ #ifdef __TIME__
+     sprintf(buffer, "Compiled on %s at %s\n", __DATE__, __TIME__);
+ #else
+     sprintf(buffer, "Compiled on %s\n", __DATE__);
+ #endif
+-    bx_center_print(stdout, buffer, 72);
++    bx_center_print(stderr, buffer, 72);
+ #endif
+   }
+-  printf("%s\n", divider);
++  fprintf(stderr, "%s\n", divider);
+ }
+ 
+ #if BX_WITH_CARBON