44 lines
1.1 KiB
Bash
Executable File
44 lines
1.1 KiB
Bash
Executable File
#!/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=0
|
|
for i in "$@"
|
|
do
|
|
if scripts/checklitmus.sh $i
|
|
then
|
|
:
|
|
else
|
|
ret=1
|
|
fi
|
|
done
|
|
if test "$ret" -ne 0
|
|
then
|
|
echo " ^^^ VERIFICATION MISMATCHES" 1>&2
|
|
else
|
|
echo All litmus tests verified as was expected. 1>&2
|
|
fi
|
|
exit $ret
|