1 #!/bin/sh 2 # SPDX-License-Identifier: GPL-2.0+ 3 # 4 # Invokes runlitmus.sh and judgelitmus.sh on its arguments to run the 5 # specified litmus test and pass judgment on the results. 6 # 7 # Usage: 8 # checklitmus.sh file.litmus 9 # 10 # Run this in the directory containing the memory model, specifying the 11 # pathname of the litmus test to check. The caller is expected to have 12 # properly set up the LKMM environment variables. 13 # 14 # Copyright IBM Corporation, 2018 15 # 16 # Author: Paul E. McKenney <paulmck@linux.ibm.com> 17 18 scripts/runlitmus.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.