configure: Require valgrind-devel when valgrind is enabled #7591
Job | Run time |
---|---|
15m 56s | |
5s | |
1h 33m 19s | |
21m 20s | |
1h 40m 59s | |
21m 25s | |
21m 50s | |
1h 43m 52s | |
21m 39s | |
1h 43m 1s | |
21m 10s | |
1h 36m 44s | |
19m 11s | |
1s | |
10h 40m 32s |
Job | Run time |
---|---|
15m 56s | |
5s | |
1h 33m 19s | |
21m 20s | |
1h 40m 59s | |
21m 25s | |
21m 50s | |
1h 43m 52s | |
21m 39s | |
1h 43m 1s | |
21m 10s | |
1h 36m 44s | |
19m 11s | |
1s | |
10h 40m 32s |