diff options
Diffstat (limited to 'pintos-progos/misc/bochs-2.3.7-gcc43.patch')
| -rw-r--r-- | pintos-progos/misc/bochs-2.3.7-gcc43.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/pintos-progos/misc/bochs-2.3.7-gcc43.patch b/pintos-progos/misc/bochs-2.3.7-gcc43.patch deleted file mode 100644 index 4646edf..0000000 --- a/pintos-progos/misc/bochs-2.3.7-gcc43.patch +++ /dev/null | |||
| @@ -1,12 +0,0 @@ | |||
| 1 | --- bochs-2.3.7.orig/bx_debug/symbols.cc 2008/03/30 14:32:14 1.11 | ||
| 2 | +++ bochs-2.3.7/bx_debug/symbols.cc 2008/06/16 17:09:52 1.12 | ||
| 3 | @@ -95,6 +95,9 @@ | ||
| 4 | #endif | ||
| 5 | |||
| 6 | using namespace std; | ||
| 7 | +#ifdef __GNUC__ | ||
| 8 | +using namespace __gnu_cxx; | ||
| 9 | +#endif | ||
| 10 | |||
| 11 | struct symbol_entry_t | ||
| 12 | { | ||