diff options
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/profiles.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/profiles.sh b/ci/profiles.sh index 3cd8fa38..e58b61d5 100755 --- a/ci/profiles.sh +++ b/ci/profiles.sh @@ -30,8 +30,8 @@ GNU/Linux) esac case $ID--$VERSION_ID in - -|*--|--*) continue ;; - *--*) break ;; + *--|--*) continue ;; + *) break ;; esac done ;; |