diff options
author | Thomas Haller <thaller@redhat.com> | 2021-01-28 13:44:05 +0100 |
---|---|---|
committer | Thomas Haller <thaller@redhat.com> | 2021-01-28 14:50:32 +0100 |
commit | 7869aacf61de8e323445de49a1abb4abfa546afa (patch) | |
tree | 4330c7fe3a6ddeae4e8f35410163380f3d98de52 | |
parent | d446cde260e31289b3448d42873f32241e8444e9 (diff) | |
download | NetworkManager-7869aacf61de8e323445de49a1abb4abfa546afa.tar.gz |
gitlab-ci: skip valgrind on Debian/sid with glib2.0 (2.66.4-2)
See-also: https://gitlab.gnome.org/GNOME/glib/-/merge_requests/1902#note_1018573
-rwxr-xr-x | contrib/scripts/nm-ci-run.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/scripts/nm-ci-run.sh b/contrib/scripts/nm-ci-run.sh index 03eb955148..14f2989a7a 100755 --- a/contrib/scripts/nm-ci-run.sh +++ b/contrib/scripts/nm-ci-run.sh @@ -118,6 +118,10 @@ _with_valgrind() { if rpm -q glib2 | grep -q glib2-2.61.0-2.fc31 ; then WITH_VALGRIND=0 fi + elif grep -q '^PRETTY_NAME="Debian.*sid"$' /etc/os-release; then + if dpkg -s libglib2.0-bin | grep -q '^Version: 2.66.4-2$' ; then + WITH_VALGRIND=0 + fi fi if [ "$WITH_VALGRIND" == 0 ]; then echo "Don't use valgrind due to known issues in other packages." |