#!/bin/sh# SPDX-License-Identifier: GPL-2.0+## Invokes runlitmus.sh and judgelitmus.sh on its arguments to run the# specified litmus test and pass judgment on the results.## Usage:# checklitmus.sh file.litmus## Run this in the directory containing the memory model, specifying the# pathname of the litmus test to check. The caller is expected to have# properly set up the LKMM environment variables.## Copyright IBM Corporation, 2018## Author: Paul E. McKenney <paulmck@linux.ibm.com>scripts/runlitmus.sh $1scripts/judgelitmus.sh $1
#!/bin/sh
# SPDX-License-Identifier: GPL-2.0+
#
# Invokes runlitmus.sh and judgelitmus.sh on its arguments to run the
# specified litmus test and pass judgment on the results.
#
# Usage:
# checklitmus.sh file.litmus
#
# Run this in the directory containing the memory model, specifying the
# pathname of the litmus test to check. The caller is expected to have
# properly set up the LKMM environment variables.
#
# Copyright IBM Corporation, 2018
#
# Author: Paul E. McKenney <paulmck@linux.ibm.com>
scripts/runlitmus.sh $1
scripts/judgelitmus.sh $1