patch 9.0.1552: CI: sound-dummy module is not installed

Problem:    CI: sound-dummy module is not installed.
Solution:   Invert using the result of the condition.  (closes #12394)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 40932b7f4a584584dec2e9646c3ffb11346f0ef9..1c51507264e5a9d39bbef6db3870d085746fbba9 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -181,13 +181,13 @@ jobs:
         run: |
           cd /lib/modules/${{ env.LINUX_VERSION }}
           if apt-cache show linux-modules-extra-${{ env.LINUX_VERSION }} >/dev/null 2>&1 ; then
-          echo "Module " linux-modules-extra-${{ env.LINUX_VERSION }} "doesn't seem to exist, continue anyway"; exit 0
-          else
           sudo apt-get install -d -y linux-modules-extra-${{ env.LINUX_VERSION }}
           sudo dpkg -x /var/cache/apt/archives/linux-modules-extra-${{ env.LINUX_VERSION }}*.deb "${DEST_DIR}"
           tar -cvC "${DEST_DIR}"/lib/modules/${{ env.LINUX_VERSION }} kernel/sound | sudo tar -x
           sudo depmod --verbose
           sudo modprobe --verbose snd-dummy
+          else
+          echo "Module " linux-modules-extra-${{ env.LINUX_VERSION }} "doesn't seem to exist, continue anyway"; exit 0
           fi
 
       - name: Check autoconf

diff --git a/src/version.c b/src/version.c
index cc7c4e1ce45663bff4212923596eeb72e88cc48f..2f2fa1291bd30cf5ed0ecf7da435c7f18ef6038a 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -695,6 +695,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1552,
 /**/
     1551,
 /**/