diff options
author | Jitse Niesen <jitse@maths.leeds.ac.uk> | 2011-05-30 16:15:11 +0100 |
---|---|---|
committer | Jitse Niesen <jitse@maths.leeds.ac.uk> | 2011-05-30 16:15:11 +0100 |
commit | 9d6fdbced75c0d3b8869aaa5bd090595d42a0cae (patch) | |
tree | e771f35625b90da22fa80006cb2ece5667de39ff /debug | |
parent | 5b71d44e1803a171263e18987cd24fdbd7147cd2 (diff) |
Fix truncated instructions for printers.py
... as noted by kp0987 on forum
Diffstat (limited to 'debug')
-rw-r--r-- | debug/gdb/printers.py | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/debug/gdb/printers.py b/debug/gdb/printers.py index 8c991e956..6f24ca8e3 100644 --- a/debug/gdb/printers.py +++ b/debug/gdb/printers.py @@ -31,9 +31,15 @@ # To use it: # -# * create a directory and put the file as well as an empty __init__.py in that directory +# * Create a directory and put the file as well as an empty __init__.py in +# that directory. # * Create a ~/.gdbinit file, that contains the following: - +# python +# import sys +# sys.path.insert(0, '/path/to/eigen/printer/directory') +# from printers import register_eigen_printers +# register_eigen_printers (None) +# end import gdb import re |