Run setting history checks with sanitizers too

This commit is contained in:
Raúl Marín 2024-12-02 12:10:01 +01:00
parent 62ed8679ad
commit dad7e4aa9e

View File

@ -1,5 +1,5 @@
#!/usr/bin/env bash
# Tags: no-tsan, no-asan, no-ubsan, no-msan, no-cpu-aarch64, no-random-settings
# Tags: no-cpu-aarch64, no-random-settings
# Some settings can be different for builds with sanitizers or aarch64
CUR_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)