1 #!/bin/sh 1 #!/bin/sh
2 # SPDX-License-Identifier: GPL-2.0+ 2 # SPDX-License-Identifier: GPL-2.0+
3 # 3 #
4 # Invokes runlitmus.sh and judgelitmus.sh on i 4 # Invokes runlitmus.sh and judgelitmus.sh on its arguments to run the
5 # specified litmus test and pass judgment on t 5 # specified litmus test and pass judgment on the results.
6 # 6 #
7 # Usage: 7 # Usage:
8 # checklitmus.sh file.litmus 8 # checklitmus.sh file.litmus
9 # 9 #
10 # Run this in the directory containing the mem 10 # Run this in the directory containing the memory model, specifying the
11 # pathname of the litmus test to check. The c 11 # pathname of the litmus test to check. The caller is expected to have
12 # properly set up the LKMM environment variabl 12 # properly set up the LKMM environment variables.
13 # 13 #
14 # Copyright IBM Corporation, 2018 14 # Copyright IBM Corporation, 2018
15 # 15 #
16 # Author: Paul E. McKenney <paulmck@linux.ibm.c 16 # Author: Paul E. McKenney <paulmck@linux.ibm.com>
17 17
18 scripts/runlitmus.sh $1 18 scripts/runlitmus.sh $1
19 scripts/judgelitmus.sh $1 19 scripts/judgelitmus.sh $1
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.