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