blob: 1e31fe2ae5dfdb2f8bf5a6bed2cf57f75451d949 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/bin/bash
i=0
while true; do
echo; git diff cached_*.txt | diffstat
echo; echo -n "[$(date '+%H:%M:%S')] Iteration $(( ++i )) "
{ echo; echo; echo; echo; echo; echo; echo "Iteration $i"; date; } >> runloop.log
if make clean > >( gawk '{ print >> "runloop.log"; printf("x"); fflush(""); }'; ) 2>&1 &&
make -j6 > >( gawk '{ print >> "runloop.log"; printf("m"); fflush(""); }'; ) 2>&1 &&
make -j6 check > >( gawk '{ print >> "runloop.log"; if (NR % 100 == 0) printf("c"); fflush(""); }'; ) 2>&1
then
echo -n " OK"
else
echo " ERROR"; echo
tail runloop.log
exit 1
fi
done
|
