.. | .. |
---|
1 | 1 | #!/bin/sh |
---|
| 2 | +# SPDX-License-Identifier: GPL-2.0+ |
---|
2 | 3 | # |
---|
3 | | -# Run herd tests on all .litmus files in the specified directory (which |
---|
4 | | -# defaults to litmus-tests) and check each file's result against a "Result:" |
---|
5 | | -# comment within that litmus test. If the verification result does not |
---|
6 | | -# match that specified in the litmus test, this script prints an error |
---|
7 | | -# message prefixed with "^^^". It also outputs verification results to |
---|
8 | | -# a file whose name is that of the specified litmus test, but with ".out" |
---|
9 | | -# appended. |
---|
| 4 | +# Run herd7 tests on all .litmus files in the litmus-tests directory |
---|
| 5 | +# and check each file's result against a "Result:" comment within that |
---|
| 6 | +# litmus test. If the verification result does not match that specified |
---|
| 7 | +# in the litmus test, this script prints an error message prefixed with |
---|
| 8 | +# "^^^". It also outputs verification results to a file whose name is |
---|
| 9 | +# that of the specified litmus test, but with ".out" appended. |
---|
10 | 10 | # |
---|
11 | 11 | # Usage: |
---|
12 | | -# checkalllitmus.sh [ directory ] |
---|
| 12 | +# checkalllitmus.sh |
---|
13 | 13 | # |
---|
14 | | -# The LINUX_HERD_OPTIONS environment variable may be used to specify |
---|
15 | | -# arguments to herd, whose default is defined by the checklitmus.sh script. |
---|
16 | | -# Thus, one would normally run this in the directory containing the memory |
---|
17 | | -# model, specifying the pathname of the litmus test to check. |
---|
| 14 | +# Run this in the directory containing the memory model. |
---|
18 | 15 | # |
---|
19 | 16 | # This script makes no attempt to run the litmus tests concurrently. |
---|
20 | | -# |
---|
21 | | -# This program is free software; you can redistribute it and/or modify |
---|
22 | | -# it under the terms of the GNU General Public License as published by |
---|
23 | | -# the Free Software Foundation; either version 2 of the License, or |
---|
24 | | -# (at your option) any later version. |
---|
25 | | -# |
---|
26 | | -# This program is distributed in the hope that it will be useful, |
---|
27 | | -# but WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
28 | | -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
---|
29 | | -# GNU General Public License for more details. |
---|
30 | | -# |
---|
31 | | -# You should have received a copy of the GNU General Public License |
---|
32 | | -# along with this program; if not, you can access it online at |
---|
33 | | -# http://www.gnu.org/licenses/gpl-2.0.html. |
---|
34 | 17 | # |
---|
35 | 18 | # Copyright IBM Corporation, 2018 |
---|
36 | 19 | # |
---|
37 | 20 | # Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com> |
---|
38 | 21 | |
---|
39 | | -litmusdir=${1-litmus-tests} |
---|
| 22 | +. scripts/parseargs.sh |
---|
| 23 | + |
---|
| 24 | +litmusdir=litmus-tests |
---|
40 | 25 | if test -d "$litmusdir" -a -r "$litmusdir" -a -x "$litmusdir" |
---|
41 | 26 | then |
---|
42 | 27 | : |
---|
43 | 28 | else |
---|
44 | 29 | echo ' --- ' error: $litmusdir is not an accessible directory |
---|
45 | 30 | exit 255 |
---|
| 31 | +fi |
---|
| 32 | + |
---|
| 33 | +# Create any new directories that have appeared in the github litmus |
---|
| 34 | +# repo since the last run. |
---|
| 35 | +if test "$LKMM_DESTDIR" != "." |
---|
| 36 | +then |
---|
| 37 | + find $litmusdir -type d -print | |
---|
| 38 | + ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh ) |
---|
46 | 39 | fi |
---|
47 | 40 | |
---|
48 | 41 | # Find the checklitmus script. If it is not where we expect it, then |
---|
.. | .. |
---|
57 | 50 | |
---|
58 | 51 | # Run the script on all the litmus tests in the specified directory |
---|
59 | 52 | ret=0 |
---|
60 | | -for i in litmus-tests/*.litmus |
---|
| 53 | +for i in $litmusdir/*.litmus |
---|
61 | 54 | do |
---|
62 | 55 | if ! $clscript $i |
---|
63 | 56 | then |
---|
.. | .. |
---|
66 | 59 | done |
---|
67 | 60 | if test "$ret" -ne 0 |
---|
68 | 61 | then |
---|
69 | | - echo " ^^^ VERIFICATION MISMATCHES" |
---|
| 62 | + echo " ^^^ VERIFICATION MISMATCHES" 1>&2 |
---|
70 | 63 | else |
---|
71 | | - echo All litmus tests verified as was expected. |
---|
| 64 | + echo All litmus tests verified as was expected. 1>&2 |
---|
72 | 65 | fi |
---|
73 | 66 | exit $ret |
---|