diff options
author | Robert Millan <rmh@debian.org> | 2015-10-04 11:49:13 +0200 |
---|---|---|
committer | Damien Zammit <damien@zamaudio.com> | 2023-06-23 23:33:51 +1000 |
commit | 8f4a9e8c2e746222b115cdc80a7ff41c5bec3955 (patch) | |
tree | 5e2c0e7026e72443989507e4a38ebf86677b53e4 | |
parent | f99c88bb005d56607346ef07d032d6b8bdfa30ec (diff) |
Add bug-script to librumpdev-audio0 too, and also include (on Linux) /proc/interrupts.
-rw-r--r-- | debian/changelog | 4 | ||||
-rw-r--r-- | debian/librumpdev-audio0.bug-script | 5 | ||||
-rw-r--r-- | debian/librumpdev-pci0.bug-script | 6 |
3 files changed, 13 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 3903cc42..d57e0413 100644 --- a/debian/changelog +++ b/debian/changelog @@ -9,8 +9,8 @@ rumpkernel (0~20150715-2) UNRELEASED; urgency=medium * Split library packages. * Add postinst with debconf templates to automatically configure Linux nr_hugepages. - * Add bug-script to librumpdev-pci0 to include lspci output in bug - reports. + * Add bug-script to librumpdev-pci0 and librumpdev-audio0 to include + lspci output in bug reports and (Linux-only) /proc/interrupts. * Add debconf menu to automatically blacklist conflicting Linux audio drivers. * Automatically attempt to enable Linux UIO access to audio devices. diff --git a/debian/librumpdev-audio0.bug-script b/debian/librumpdev-audio0.bug-script new file mode 100644 index 00000000..1424047e --- /dev/null +++ b/debian/librumpdev-audio0.bug-script @@ -0,0 +1,5 @@ +#!/bin/sh + +/usr/share/bug/librumpdev-pci0 + +exit 0 diff --git a/debian/librumpdev-pci0.bug-script b/debian/librumpdev-pci0.bug-script index bb8f0279..1326317b 100644 --- a/debian/librumpdev-pci0.bug-script +++ b/debian/librumpdev-pci0.bug-script @@ -2,4 +2,10 @@ lspci -nnk >&3 +case $(uname -s) in + Linux) + cat /proc/interrupts >&3 + ;; +esac + exit 0 |