diff options
author | Daan De Meyer <daan.j.demeyer@gmail.com> | 2024-11-27 20:20:51 +0100 |
---|---|---|
committer | Luca Boccassi <luca.boccassi@gmail.com> | 2024-11-29 01:40:36 +0100 |
commit | aed18d7e9a4811f941c149c5d96cb3cc428a3430 (patch) | |
tree | aa0d8871ec321cd6b13969aeadc12e7bb7a55392 /mkosi.conf | |
parent | Typo fix in man/systemd.resource-control (diff) | |
download | systemd-aed18d7e9a4811f941c149c5d96cb3cc428a3430.tar.xz systemd-aed18d7e9a4811f941c149c5d96cb3cc428a3430.zip |
mkosi: Simplify sanitizer setup
Let's get rid of 20-sanitizers.conf and just move it into
mkosi.sanitizers instead.
Diffstat (limited to 'mkosi.conf')
-rw-r--r-- | mkosi.conf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mkosi.conf b/mkosi.conf index 94c8697ded..835b1d4b9c 100644 --- a/mkosi.conf +++ b/mkosi.conf @@ -147,3 +147,6 @@ QemuSmp=2 QemuSwtpm=yes QemuVsock=yes QemuKvm=yes + +[Include] +Include=%D/mkosi.sanitizers |