[PATCH] Use current Debian package names in stap-prep

[Emanuele Rocca]

The package including debug symbols for the Linux kernel is called
linux-image-$ABINAME-dbg in Debian, not -dbgsym. Further, those packages
are available in the regular archive. There's no need to configure
additional repositories.
---
 stap-prep | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git stap-prep stap-prep
index ec061a828..c6c7539b0 100755
--- stap-prep
+++ stap-prep
@@ -93,7 +93,12 @@ esac
     echo "make >= 0"
     echo "linux-image-$ABINAME = $VERSION"
     echo "linux-headers-$ABINAME = $VERSION"
-	echo "linux-image-$ABINAME-dbgsym = $VERSION"
+    if [ "$DISTRO" = "Debian" ]; then
+	    echo "linux-image-$ABINAME-dbg = $VERSION"
+    elif [ "$DISTRO" = "Ubuntu"  ]; then
+	    echo "linux-image-$ABINAME-dbgsym = $VERSION"
+    fi
+
 ) | while read package relation requiredversion; do
     installedversion="$(dpkg-query -W "$package" 2> /dev/null | cut -f 2)"
     if [ "$installedversion" = "" ]; then
@@ -103,9 +108,6 @@ esac
 	    if [ "$DISTRO" = "Ubuntu"  ]; then
 		echo " Ubuntu -dbgsym packages are typically in a separate repository"
 		echo " Follow https://wiki.ubuntu.com/DebuggingProgramCrash to add this repository"
-	    elif [ "$DISTRO" = "Debian" ]; then
-		echo " Debian -dbgsym packages are typically in a separate repository"
-		echo " Follow https://wiki.debian.org/AutomaticDebugPackages to add this repository"
 	    fi
 	else
 	    echo "Need to install $package"
-- 
2.27.0