Merge pull request #32866 from DaanDeMeyer/sanitizers

mkosi: Sanitizers
This commit is contained in:
Daan De Meyer
2024-05-30 14:49:13 +02:00
committed by GitHub
26 changed files with 239 additions and 91 deletions

View File

@@ -117,12 +117,14 @@ jobs:
WITH_DEBUG=1
# Enabling optimizations significantly speeds up integration tests.
OPTIMIZATION=g
SANITIZERS=address,undefined
[Host]
ToolsTree=default
ToolsTreeDistribution=fedora
# TODO: Drop once https://bugs.launchpad.net/ubuntu/+source/linux/+bug/2038777 is fixed in Github Actions
QemuFirmware=uefi
QemuMem=4G
# We build with debuginfo so there's no point in mounting the sources into the machine.
RuntimeBuildSources=no
EOF