diff options
Diffstat (limited to 'icefuzz/runloop.sh')
| -rw-r--r-- | icefuzz/runloop.sh | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/icefuzz/runloop.sh b/icefuzz/runloop.sh new file mode 100644 index 0000000..ceb75c9 --- /dev/null +++ b/icefuzz/runloop.sh @@ -0,0 +1,19 @@ +#!/bin/bash + +i=0 +while true; do + echo; svn 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 + |