Merge pull request #88 from matt335672/ci_fix

Update CI build script

scripts/install_pulseaudio_sources_apt.sh

@@ -98,15 +98,17 @@ if [ ! -d "$PULSE_DIR" ]; then
 
     sudo apt-get update
 
-    # For the CI build on 22.04, it was noted that an incompatible
-    # libunwind development package was installed.
-    if [ -f /usr/include/libunwind/libunwind.h ]; then
-        pkg=`dpkg -S /usr/include/libunwind/libunwind.h | sed -e 's/: .*//'`
-        if [ -n "$pkg" -a "$pkg" != libunwind-dev ]; then
-            echo "- Removing package $pkg"
-            sudo apt-get remove "$pkg"
-        fi
+    # For the CI build on 22.04, it was noted that an incompatible libunwind
+    # development package libunwind-14-dev was installed, which prevented
+    # installation of the default libunwind-dev package.
+    #
+    # Remove any libunwind-*-dev package
+    pkg_list=`dpkg-query -W -f '${Package} ' 'libunwind-*-dev' 2>/dev/null || :`
+    if [ -n "$pkg_list" ]; then
+        echo "- Removing package(s) $pkg_list"
+        sudo apt-get remove -y $pkg_list
     fi
+
     sudo apt-get build-dep -y pulseaudio
     # Install any missing dependencies for this software release
     case "$RELEASE" in