diff options
author | Kacper Michajłow <kasper93@gmail.com> | 2023-07-27 22:30:59 +0200 |
---|---|---|
committer | Dudemanguy <random342@airmail.cc> | 2023-10-08 19:23:16 +0000 |
commit | bcb9ed56fae7da59b495c5bddd7576821627dffb (patch) | |
tree | f11dd577d63414ee9477b120e69f4cf91da0c4bb | |
parent | e17375f151d353d2b2900aa951d93268f4343212 (diff) | |
download | mpv-bcb9ed56fae7da59b495c5bddd7576821627dffb.tar.bz2 mpv-bcb9ed56fae7da59b495c5bddd7576821627dffb.tar.xz |
ci: add sanitizers to Tumbleweed build
We don't have much test coverage, but even running the built binary
doesn't harm to check with sanitizers.
-rwxr-xr-x | ci/build-tumbleweed.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/build-tumbleweed.sh b/ci/build-tumbleweed.sh index 6dd7f608d7..2e38a34906 100755 --- a/ci/build-tumbleweed.sh +++ b/ci/build-tumbleweed.sh @@ -2,6 +2,7 @@ set -e meson setup build \ + -Db_sanitize=address,undefined \ -Dcdda=enabled \ -Ddvbin=enabled \ -Ddvdnav=enabled \ |