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 | |
| parent | 180fd392ca65cf754f761bc0ce6d5a75f0982b7a (diff) | |
| download | android-node-v8-ee3ce2ed88bcb605d611a915f9b86163cc781a7f.tar.gz android-node-v8-ee3ce2ed88bcb605d611a915f9b86163cc781a7f.tar.bz2 android-node-v8-ee3ce2ed88bcb605d611a915f9b86163cc781a7f.zip | |
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
| -rwxr-xr-x | tools/install.py | 2 | ||||
| -rw-r--r-- | tools/rpm/iojs.spec | 4 |
2 files changed, 6 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: diff --git a/tools/rpm/iojs.spec b/tools/rpm/iojs.spec index 07db8d21a0..4be798f19f 100644 --- a/tools/rpm/iojs.spec +++ b/tools/rpm/iojs.spec @@ -93,6 +93,7 @@ done /usr/bin/* /usr/include/* /usr/lib/node_modules/ +/usr/share/doc/node/gdbinit /usr/share/man/man1/iojs.1.gz /usr/share/systemtap/tapset/node.stp %{_datadir}/%{name}/ @@ -100,6 +101,9 @@ done %changelog +* Tue Jul 7 2015 Ali Ijaz Sheikh <ofrobots@google.com> +- Added gdbinit. + * Mon Apr 13 2015 Dan Varga <danvarga@gmail.com> - Fix paths for changelog and manpage |