DescriptionAdd gdbinit to tools/ directory.
Suggested usage: echo "source /path/to/v8/tools/gdbinit" >> ~/.gdbinit
R=mstarzinger@chromium.org
Committed: https://code.google.com/p/v8/source/detail?r=22252
Patch Set 1 #Patch Set 2 : add copyright header #
Total comments: 8
Patch Set 3 : comments #Messages
Total messages: 4 (0 generated)
|