diff options
author | Mark Wielaard <mark@klomp.org> | 2022-05-03 01:35:53 +0200 |
---|---|---|
committer | Mark Wielaard <mark@klomp.org> | 2022-05-03 01:35:53 +0200 |
commit | 6d0c3b57429add5b6494259c1c06499e52cff4d5 (patch) | |
tree | a930afc8553ed35bdedb12d128df2b05e7214dfb /config | |
parent | 059e690e896e37c16774047bd1fd0c9e608545b8 (diff) | |
download | elfutils-6d0c3b57429add5b6494259c1c06499e52cff4d5.tar.gz |
configure: Don't use valgrind and sanitize-undefined for make distcheck
make distcheck would always run with --enable-valgrind and
--enable-sanitize-undefined. Assuming the maintainer would run this just
before doing a release. But this makes distcheck really, really, really
slow. And we have various buildbots now that run various combinations
of valgrind, undefined and/or address sanitizer over every commit now.
This make make distcheck "fast" again.
Signed-off-by: Mark Wielaard <mark@klomp.org>
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions