Commit | Line | Data |
---|---|---|
df0f6750 PM |
1 | #!/bin/sh |
2 | # SPDX-License-Identifier: GPL-2.0+ | |
3 | # | |
4 | # Invokes checklitmus.sh on its arguments to run the specified litmus | |
5 | # test and pass judgment on the results. | |
6 | # | |
7 | # Usage: | |
8 | # checktheselitmus.sh -- [ file1.litmus [ file2.litmus ... ] ] | |
9 | # | |
10 | # Run this in the directory containing the memory model, specifying the | |
11 | # pathname of the litmus test to check. The usual parseargs.sh arguments | |
12 | # can be specified prior to the "--". | |
13 | # | |
14 | # This script is intended for use with pathnames that start from the | |
15 | # tools/memory-model directory. If some of the pathnames instead start at | |
16 | # the root directory, they all must do so and the "--destdir /" parseargs.sh | |
17 | # argument must be specified prior to the "--". Alternatively, some other | |
18 | # "--destdir" argument can be supplied as long as the needed subdirectories | |
19 | # are populated. | |
20 | # | |
21 | # Copyright IBM Corporation, 2018 | |
22 | # | |
23 | # Author: Paul E. McKenney <paulmck@linux.ibm.com> | |
24 | ||
25 | . scripts/parseargs.sh | |
26 | ||
27 | ret=0 | |
28 | for i in "$@" | |
29 | do | |
30 | if scripts/checklitmus.sh $i | |
31 | then | |
32 | : | |
33 | else | |
34 | ret=1 | |
35 | fi | |
36 | done | |
37 | if test "$ret" -ne 0 | |
38 | then | |
39 | echo " ^^^ VERIFICATION MISMATCHES" 1>&2 | |
40 | else | |
41 | echo All litmus tests verified as was expected. 1>&2 | |
42 | fi | |
43 | exit $ret |