diff options
author | Philip H <47042125+pheiduck@users.noreply.github.com> | 2023-05-13 17:46:10 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2023-05-13 17:46:10 +0100 |
commit | c416fd4ca82a27c28915695ebab2e0886cd45bca (patch) | |
tree | 77c833ff6a53de0bb2aec192f55ff217e83559c8 /.github | |
parent | 24b62ec8258cc7c9ca2c09f645f7f6b02584c892 (diff) |
patch 9.0.1552: CI: sound-dummy module is not installedv9.0.1552
Problem: CI: sound-dummy module is not installed.
Solution: Invert using the result of the condition. (closes #12394)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 40932b7f4a..1c51507264 100644 --- 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 |