44 lines · bash
1#!/bin/sh2# SPDX-License-Identifier: GPL-2.0+3#4# Invokes checklitmus.sh on its arguments to run the specified litmus5# 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 the11# pathname of the litmus test to check. The usual parseargs.sh arguments12# can be specified prior to the "--".13#14# This script is intended for use with pathnames that start from the15# tools/memory-model directory. If some of the pathnames instead start at16# the root directory, they all must do so and the "--destdir /" parseargs.sh17# argument must be specified prior to the "--". Alternatively, some other18# "--destdir" argument can be supplied as long as the needed subdirectories19# are populated.20#21# Copyright IBM Corporation, 201822#23# Author: Paul E. McKenney <paulmck@linux.ibm.com>24 25. scripts/parseargs.sh26 27ret=028for i in "$@"29do30 if scripts/checklitmus.sh $i31 then32 :33 else34 ret=135 fi36done37if test "$ret" -ne 038then39 echo " ^^^ VERIFICATION MISMATCHES" 1>&240else41 echo All litmus tests verified as was expected. 1>&242fi43exit $ret44