diff -r 000000000000 -r 2651341cc084 scripts/build/debug/gdbinit.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/build/debug/gdbinit.in	Sun Jul 24 20:30:52 2011 +0200
@@ -0,0 +1,6 @@
+python
+import sys
+sys.path.insert(0, '@@PREFIX@@/share/gcc-@@VERSION@@/python')
+from libstdcxx.v6.printers import register_libstdcxx_printers
+register_libstdcxx_printers (None)
+end