B

boott

There is not enough space to produce the history graph all at once. Parallel
make will abort even earlier without producing anything. Linear make can be
executed multiple times but will do lots of unnecessary calculations as
intermediate results are computed and discarded over and over again. The
fastest way is to manually build each timestamp after the other like this:

./timestamps.py| while read t1; read t2; echo $t1 $t2; do rm -f history.make; echo TIMESTAMPS=$t1 $t2 > history.make; make -j4 ${t1}_closure_history.txt ${t1}_disj_history.txt ${t1}_optis_history.txt ${t1}_optuniv_history.txt ${t2}_closure_history.txt ${t2}_disj_history.txt ${t2}_optis_history.txt ${t2}_optuniv_history.txt ${t1}_cross_history.txt ${t2}_cross_history.txt && cat *_closure_history.txt > history_closure.txt && cat *_disj_history.txt > history_disj.txt && cat *_optis_history.txt > history_optis.txt && cat *_optuniv_history.txt > history_optuniv.txt && cat *_cross_history.txt > history_cross.txt && gnuplot history.gpl && gnuplot history_cross.gpl; done


Sometimes snapshot.debian.org downloads fail with:

curl: (18) transfer closed with outstanding read data remaining

Restarting varnish on snapshot.d.o seems to fix this problem. Weasel can do that.