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
27ret=0
28for i in "$@"
29do
30	if scripts/checklitmus.sh $i
31	then
32		:
33	else
34		ret=1
35	fi
36done
37if test "$ret" -ne 0
38then
39	echo " ^^^ VERIFICATION MISMATCHES" 1>&2
40else
41	echo All litmus tests verified as was expected. 1>&2
42fi
43exit $ret
44