diff options
author | Luca Boccassi <bluca@debian.org> | 2022-04-05 20:37:59 +0100 |
---|---|---|
committer | Luca Boccassi <luca.boccassi@gmail.com> | 2022-04-06 21:54:14 +0100 |
commit | 31cd2dd9060decfb5c1341e2b126d3dde643e02a (patch) | |
tree | 4dc42b12d1ec575e7be391a719278b8fa6d7a8da /tools | |
parent | 124d293268f09881eadd3ec1b91b326a7bf2bd89 (diff) | |
download | systemd-31cd2dd9060decfb5c1341e2b126d3dde643e02a.tar.gz |
core: taint if /usr is unmerged
9afd5e7b975e8051c011ff9c07c95e80bd954469 introduced a build-time
taint, introduce a runtime one as well, in preparation for
removing support for unmerged-usr in a future release
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions