diff -r 000000000000 -r 13e40098fffc scripts/build/debug/gdbinit.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/build/debug/gdbinit.in	Mon Apr 16 15:25:36 2012 +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