scripts/build/debug/gdbinit.in
author "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
Fri Sep 21 16:26:10 2012 +0200 (2012-09-21)
changeset 3056 df33992f9614
permissions -rw-r--r--
kernel/linux: update revisions

Update Linux with the latest available revisions.

Signed-off-by: "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
Message-Id: <f87414d1b7f0d5d417b7.1348237635@advdt005-ubuntu>
PatchWork-ID: 185747
yann@2570
     1
python
yann@2570
     2
import sys
yann@2570
     3
sys.path.insert(0, '@@PREFIX@@/share/gcc-@@VERSION@@/python')
yann@2570
     4
from libstdcxx.v6.printers import register_libstdcxx_printers
yann@2570
     5
register_libstdcxx_printers (None)
yann@2570
     6
end