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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.