diff options
Diffstat (limited to 'share/pretty-printers/stlport/gppfs-0.2/test/.gdbinit')
| -rw-r--r-- | share/pretty-printers/stlport/gppfs-0.2/test/.gdbinit | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/share/pretty-printers/stlport/gppfs-0.2/test/.gdbinit b/share/pretty-printers/stlport/gppfs-0.2/test/.gdbinit new file mode 100644 index 0000000..ec42f67 --- /dev/null +++ b/share/pretty-printers/stlport/gppfs-0.2/test/.gdbinit @@ -0,0 +1,12 @@ +python +import os +import sys + +sys.path.insert (0, os.getcwd() + '/..') +import stlport.printers +stlport.printers.register_stlport_printers (None) + +# stlport.printers.stlport_version = 5.2 +# stlport.printers.print_vector_with_indices = False + +end |