mirror of
https://gitlab.uni-freiburg.de/opensourcevdi/spice
synced 2026-01-04 00:06:29 +00:00
ci: Make possible to execute additional expensive checks on GitLab
Install missing GStreamer plugins and enable these checks. Currently the checks are enabled if valgrind is used. This as the main "makecheck" job uses address sanitizer which detects some leaks due to some Glib usage. Valgrind checks uses some suppression for some Glib leaks so they will work correctly. Signed-off-by: Frediano Ziglio <fziglio@redhat.com> Acked-by: Pavel Grunt <pgrunt@redhat.com>
This commit is contained in:
parent
76b7f943e4
commit
9eae44856f
@ -22,9 +22,13 @@ statistics:
|
||||
|
||||
check-valgrind:
|
||||
script:
|
||||
- dnf install https://download1.rpmfusion.org/free/fedora/rpmfusion-free-release-$(rpm -E %fedora).noarch.rpm -y
|
||||
- dnf debuginfo-install spice-server -y
|
||||
- dnf install valgrind -y
|
||||
- ./autogen.sh --enable-valgrind
|
||||
- >
|
||||
dnf install valgrind
|
||||
gstreamer1-libav gstreamer1-plugins-ugly gstreamer1-plugins-good gstreamer1-plugins-bad-free
|
||||
-y
|
||||
- ./autogen.sh --enable-valgrind --enable-extra-checks
|
||||
- make
|
||||
- make check-valgrind || (cat server/tests/test-suite-memcheck.log && exit 1)
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user