Fix Bochs build with recent GCC.

[pintos-anon] / src / misc / bochs-2.2.6-namespace.patch

diff --git a/src/misc/bochs-2.2.6-namespace.patch b/src/misc/bochs-2.2.6-namespace.patch
new file mode 100644 (file)
index 0000000..5f03814
--- /dev/null
+++ b/src/misc/bochs-2.2.6-namespace.patch
@@ -0,0 +1,10 @@
+--- bochs-2.2.6/bx_debug/symbols.cc    2011-08-19 11:04:11.760139836 -0600
++++ bochs-2.2.6-patched/bx_debug/symbols.cc    2011-08-19 11:04:04.980139837 -0600
+@@ -92,6 +92,7 @@
+ #endif
+ 
+ using namespace std;
++namespace std { using namespace __gnu_cxx; }
+ 
+ struct symbol_entry_t
+ {