diff options
author | Ali Ijaz Sheikh <ofrobots@google.com> | 2015-07-06 09:41:04 -0700 |
---|---|---|
committer | Ali Ijaz Sheikh <ofrobots@google.com> | 2015-07-07 14:59:31 -0700 |
commit | ee3ce2ed88bcb605d611a915f9b86163cc781a7f (patch) | |
tree | 45a1b96dc4589d50ce2083244c5d47bede118501 /tools/install.py | |
parent | 180fd392ca65cf754f761bc0ce6d5a75f0982b7a (diff) | |
download | node-new-ee3ce2ed88bcb605d611a915f9b86163cc781a7f.tar.gz |
tools: install gdbinit from v8 to $PREFIX/share
gdbinit provided by V8 can be very useful for low-level debugging of
crashes in node and in binary addons. Most useful commands at 'jst'
for JS stack traces and 'job' for printing a heap object.
This patch installs the file at $PREFIX/share/doc/node/gdbinit.
Reviewed-By: Ben Noordhuis <info@bnoordhuis.nl>
PR-URL: https://github.com/nodejs/io.js/pull/2123
Diffstat (limited to 'tools/install.py')
-rwxr-xr-x | tools/install.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/install.py b/tools/install.py index 4bacaadc4a..998ad6fbf5 100755 --- a/tools/install.py +++ b/tools/install.py @@ -149,6 +149,8 @@ def files(action): # behave similarly for systemtap action(['src/node.stp'], 'share/systemtap/tapset/') + action(['deps/v8/tools/gdbinit'], 'share/doc/node/') + if 'freebsd' in sys.platform or 'openbsd' in sys.platform: action(['doc/iojs.1'], 'man/man1/') else: |