Housekeeping on Wednesday, 28th of January, Anno Domini MMIX, at the hour of the...
[git/dscho.git] / source-1232997290.txt
blob96620a3110c1e227afbe5a7ecc2a9ff910d149ec
1 Valgrind takes a loooong time
3 Yesterday, I started a run on a fast machine, and it took roughly 5.5
4 hours by the machine's clock.
6 And of course, I redirected stdout only... *sigh*
8 Which triggered a Google search how to force redirection of all the output
9 in the test scripts to a file and the terminal at the same time.
11 It seems as if that is not easily done.  I tried
12 <center><bash>
13 exec >(tee out) 2>&1
14 </bash></center>
16 but that did not work: it mumbled something about invalid file handles or some
17 such.
19 The only solution I found was:
20 <center><bash>
21 mkpipe pipe
22 tee out < pipe &
23 exec > pipe 2>&1
24 </bash></center>
26 That is a problem for parallel execution, though, so I am still looking for a
27 better way to do it.
29 Once I have the output, it is relatively easy to analyze it, as I already
30 made a script which disects the output into valgrind output and the test
31 case it came from, then groups by common valgrind output and shows the
32 result to the user.