Lines Matching +full:runs +full:- +full:on
2 # SPDX-License-Identifier: GPL-2.0+
4 # Runs the C-language litmus tests specified on standard input, using up
11 # Run from the Linux kernel tools/memory-model directory.
19 trap 'rm -rf $T' 0
22 if test -d litmus
30 # Prefixes for per-CPU scripts
41 if ! grep -q '^Observation ' $dir/$1.out
47 if test "$exitcode" -eq 124
59 awk -v q="'" -v b='\\' '
61 …print "echo `grep " q "^P[0-9]" b "+(" q " " $0 " | tail -1 | sed -e " q "s/^P" b "([0-9]" b "+" b…
63 sort -k1n |
64 awk -v ncpu=$LKMM_JOBS -v t=$T '
77 if grep -q '!!!' $T/*.sh.out
79 echo ' ---' Summary: 1>&2
81 nfail="`grep '!!!' $T/*.sh.out | wc -l`"
82 echo 'Number of failed herd7 runs (e.g., timeout): ' $nfail 1>&2
85 echo All runs completed successfully. 1>&2