#!/bin/sh# SPDX-License-Identifier: GPL-2.0+## Invokes checklitmus.sh on its arguments to run the specified litmus# test and pass judgment on the results.## Usage:#	checktheselitmus.sh -- [ file1.litmus [ file2.litmus ... ] ]## Run this in the directory containing the memory model, specifying the# pathname of the litmus test to check.  The usual parseargs.sh arguments# can be specified prior to the "--".## This script is intended for use with pathnames that start from the# tools/memory-model directory.  If some of the pathnames instead start at# the root directory, they all must do so and the "--destdir /" parseargs.sh# argument must be specified prior to the "--".  Alternatively, some other# "--destdir" argument can be supplied as long as the needed subdirectories# are populated.## Copyright IBM Corporation, 2018## Author: Paul E. McKenney <paulmck@linux.ibm.com> . scripts/parseargs.sh ret=0for i in "$@"do	if scripts/checklitmus.sh $i	then		:	else		ret=1	fidoneif test "$ret" -ne 0then	echo " ^^^ VERIFICATION MISMATCHES" 1>&2else	echo All litmus tests verified as was expected. 1>&2fiexit $ret