aboutsummaryrefslogtreecommitdiffstats
path: root/icefuzz/runloop.sh
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