[Pkg-gdb-logs] [gdb] 05/11: debian/gdb{, -python2}.install: add jit-reader header

[Hector Oron]

This is an automated email from the git hooks/post-receive script.

zumbi pushed a commit to branch master
in repository gdb.

commit de739adf6bd97674bb947b01962aa86019711248
Author: Héctor Orón Martínez <zumbi at debian.org>
Date:   Tue Dec 13 15:38:56 2016 +0100

    debian/gdb{,-python2}.install: add jit-reader header
    
      Enable users to write their own GDB JIT plugins.
    
      See: https://sourceware.org/gdb/onlinedocs/gdb/JIT-Interface.html
      (Closes: #761903)
    
    Signed-off-by: Héctor Orón Martínez <zumbi at debian.org>
---
 debian/gdb-python2.install | 1 +
 debian/gdb.install         | 1 +
 2 files changed, 2 insertions(+)

diff --git a/debian/gdb-python2.install b/debian/gdb-python2.install
index 6747d0d..7fdb4ab 100644
--- a/debian/gdb-python2.install
+++ b/debian/gdb-python2.install
@@ -1,2 +1,3 @@
 usr/bin/gcore
 usr/share/gdb
+usr/include/gdb/jit-reader.h
diff --git a/debian/gdb.install b/debian/gdb.install
index a3a2d10..c6db416 100644
--- a/debian/gdb.install
+++ b/debian/gdb.install
@@ -1,3 +1,4 @@
 usr/bin/gdb
 usr/bin/gcore
 usr/share/gdb
+usr/include/gdb/jit-reader.h

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-gdb/gdb.git