fdo-mirrors/NetworkManager
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/NetworkManager/NetworkManager.git synced 2026-01-06 03:50:17 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

contrib/jenkins: update jenkins_script.sh

Browse source 
Signed-off-by: Thomas Haller <thaller@redhat.com>
This commit is contained in:
Thomas Haller 2013-12-11 15:55:42 +01:00
parent 62148704f5
commit a237b9cb60
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
contrib/rh-jenkins/jenkins_script.sh
View file

@ -41,8 +41,10 @@ trap "git_notes_fail; exit 1" ERR
temporary_workaround_01() {
# https://bugzilla.gnome.org/show_bug.cgi?id=705160
# otherwise current mem leaks check fail...
wget 'https://bugzilla.gnome.org/attachment.cgi?id=256245' -O valgrind.suppressions.patch
git apply valgrind.suppressions.patch
if [[ "$(git merge-base 2540966492340ad87cd5a894d544580b8e20c558 HEAD 2>/dev/null || true)" != "2540966492340ad87cd5a894d544580b8e20c558" ]]; then
wget 'https://bugzilla.gnome.org/attachment.cgi?id=256245' -O valgrind.suppressions.patch
git apply valgrind.suppressions.patch || true
fi
}
log_timestamp