diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-07-18 13:10:40 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-07-18 13:10:40 +0200 |
| commit | 48154cb6f452d3bdb4da36cc267b4b6c45588dc9 (patch) | |
| tree | 3ec3be9ef7e8db1fb7c764ed8202e0215a8eb7c7 /icefuzz/runloop.sh | |
| parent | 13e63e6b65e044e348356731b55610d02cb308b9 (diff) | |
Imported full dev sources
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 + |