Commit | Line | Data |
---|---|---|
b02eb5b0 PM |
1 | #!/bin/sh |
2 | # SPDX-License-Identifier: GPL-2.0+ | |
3 | # | |
4 | # Runs the C-language litmus tests matching the specified criteria | |
5 | # that do not already have a corresponding .litmus.out file, and does | |
6 | # not judge the result. | |
7 | # | |
8 | # sh newlitmushist.sh | |
9 | # | |
10 | # Run from the Linux kernel tools/memory-model directory. | |
11 | # See scripts/parseargs.sh for list of arguments. | |
12 | # | |
13 | # Copyright IBM Corporation, 2018 | |
14 | # | |
61f615cc | 15 | # Author: Paul E. McKenney <paulmck@linux.ibm.com> |
b02eb5b0 PM |
16 | |
17 | . scripts/parseargs.sh | |
18 | ||
19 | T=/tmp/newlitmushist.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 | # Create any new directories that have appeared in the github litmus | |
32 | # repo since the last run. | |
33 | if test "$LKMM_DESTDIR" != "." | |
34 | then | |
35 | find litmus -type d -print | | |
36 | ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh ) | |
37 | fi | |
38 | ||
39 | # Create a list of the C-language litmus tests previously run. | |
40 | ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) | | |
41 | sed -e 's/\.out$//' | | |
42 | xargs -r grep -L "^P${LKMM_PROCS}"> $T/list-C-already | |
43 | ||
44 | # Form full list of litmus tests with no more than the specified | |
45 | # number of processes (per the --procs argument). | |
75eee921 | 46 | find litmus -name '*.litmus' -print | mselect7 -arch C > $T/list-C-all |
b02eb5b0 PM |
47 | xargs < $T/list-C-all -r grep -L "^P${LKMM_PROCS}" > $T/list-C-short |
48 | ||
49 | # Form list of new tests. Note: This does not handle litmus-test deletion! | |
50 | sort $T/list-C-already $T/list-C-short | uniq -u > $T/list-C-new | |
51 | ||
52 | # Form list of litmus tests that have changed since the last run. | |
53 | sed < $T/list-C-short -e 's,^.*$,if test & -nt '"$LKMM_DESTDIR"'/&.out; then echo &; fi,' > $T/list-C-script | |
54 | sh $T/list-C-script > $T/list-C-newer | |
55 | ||
56 | # Merge the list of new and of updated litmus tests: These must be (re)run. | |
57 | sort -u $T/list-C-new $T/list-C-newer > $T/list-C-needed | |
58 | ||
59 | scripts/runlitmushist.sh < $T/list-C-needed | |
60 | ||
61 | exit 0 |