| 1 | |
| 2 | |
| 3 | |
| 4 | |
| 5 | |
| 6 | |
| 7 | |
| 8 | |
| 9 | |
| 10 | |
| 11 | |
| 12 | |
| 13 | |
| 14 | |
| 15 | |
| 16 |
|
| 17 | . scripts/parseargs.sh
|
| 18 |
|
| 19 | T=/tmp/checklitmushist.sh.$$
|
| 20 | trap 'rm -rf $T' 0
|
| 21 | mkdir $T
|
| 22 |
|
| 23 | if test -d litmus
|
| 24 | then
|
| 25 | :
|
| 26 | else
|
| 27 | echo Run scripts/initlitmushist.sh first, need litmus repo.
|
| 28 | exit 1
|
| 29 | fi
|
| 30 |
|
| 31 | |
| 32 | |
| 33 | |
| 34 | mkdir $T/results
|
| 35 | find litmus -type d -print | ( cd $T/results; sed -e 's/^/mkdir -p /' | sh )
|
| 36 |
|
| 37 | |
| 38 | |
| 39 | ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
|
| 40 | sed -e 's/\.out$//' |
|
| 41 | xargs -r grep -L "^P${LKMM_PROCS}"> $T/list-C-already
|
| 42 | xargs < $T/list-C-already -r grep -L "^P${LKMM_PROCS}" > $T/list-C-short
|
| 43 |
|
| 44 | |
| 45 | destdir="$LKMM_DESTDIR"
|
| 46 | LKMM_DESTDIR=$T/results; export LKMM_DESTDIR
|
| 47 | scripts/runlitmushist.sh < $T/list-C-short > $T/runlitmushist.sh.out 2>&1
|
| 48 | LKMM_DESTDIR="$destdir"; export LKMM_DESTDIR
|
| 49 |
|
| 50 | |
| 51 | |
| 52 | cdir=`pwd`
|
| 53 | ddir=`awk -v c="$cdir" -v d="$LKMM_DESTDIR" \
|
| 54 | 'END { if (d ~ /^\//) print d; else print c "/" d; }' < /dev/null`
|
| 55 | ( cd $T/results; find litmus -type f -name '*.litmus.out' -print |
|
| 56 | sed -e 's,^.*$,cp & '"$ddir"'/&.new,' | sh )
|
| 57 |
|
| 58 | sed < $T/list-C-short -e 's,^,'"$LKMM_DESTDIR/"',' |
|
| 59 | sh scripts/cmplitmushist.sh
|
| 60 | exit $?
|