diff options
| author | Lorenz Kästle <12514511+RincewindsHat@users.noreply.github.com> | 2025-04-21 01:12:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-21 01:12:54 +0200 |
| commit | e71039d45aecb98173da03a44b1ceb14da8f510a (patch) | |
| tree | 442aa0e5665c70c7acc78b32fe0210645222964b | |
| parent | 4924bc877f714ec00ac8b02378d11f1508bbe8b4 (diff) | |
| parent | 73b42dd08b11be79bbeb4a09910bbe37699ff3b9 (diff) | |
| download | monitoring-plugins-e71039d45aecb98173da03a44b1ceb14da8f510a.tar.gz | |
Merge pull request #2119 from waja/CI_fix_fedoracoverity/master
CI: Install gawk on fedora > 41
| -rw-r--r-- | .github/os_detect.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/os_detect.sh b/.github/os_detect.sh index ee9c145d..47c762d3 100644 --- a/.github/os_detect.sh +++ b/.github/os_detect.sh | |||
| @@ -1,10 +1,17 @@ | |||
| 1 | #!/bin/sh -e | 1 | #!/bin/sh -e |
| 2 | |||
| 3 | . /etc/os-release | ||
| 4 | |||
| 2 | # workaround for really bare-bones Archlinux containers: | 5 | # workaround for really bare-bones Archlinux containers: |
| 3 | if [ -x "$(command -v pacman)" ]; then | 6 | if [ -x "$(command -v pacman)" ]; then |
| 4 | pacman --noconfirm -Sy | 7 | pacman --noconfirm -Sy |
| 5 | pacman --noconfirm -S grep gawk sed | 8 | pacman --noconfirm -S grep gawk sed |
| 6 | fi | 9 | fi |
| 7 | 10 | ||
| 11 | if [ ${ID} == "fedora" -a ${VERSION_ID} -gt 41 ]; then | ||
| 12 | dnf install -y gawk | ||
| 13 | fi | ||
| 14 | |||
| 8 | os_release_file= | 15 | os_release_file= |
| 9 | if [ -s "/etc/os-release" ]; then | 16 | if [ -s "/etc/os-release" ]; then |
| 10 | os_release_file="/etc/os-release" | 17 | os_release_file="/etc/os-release" |