162306a36Sopenharmony_ci#!/bin/sh
262306a36Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0+
362306a36Sopenharmony_ci#
462306a36Sopenharmony_ci# Invokes runlitmus.sh and judgelitmus.sh on its arguments to run the
562306a36Sopenharmony_ci# specified litmus test and pass judgment on the results.
662306a36Sopenharmony_ci#
762306a36Sopenharmony_ci# Usage:
862306a36Sopenharmony_ci#	checklitmus.sh file.litmus
962306a36Sopenharmony_ci#
1062306a36Sopenharmony_ci# Run this in the directory containing the memory model, specifying the
1162306a36Sopenharmony_ci# pathname of the litmus test to check.  The caller is expected to have
1262306a36Sopenharmony_ci# properly set up the LKMM environment variables.
1362306a36Sopenharmony_ci#
1462306a36Sopenharmony_ci# Copyright IBM Corporation, 2018
1562306a36Sopenharmony_ci#
1662306a36Sopenharmony_ci# Author: Paul E. McKenney <paulmck@linux.ibm.com>
1762306a36Sopenharmony_ci
1862306a36Sopenharmony_ciscripts/runlitmus.sh $1
1962306a36Sopenharmony_ciscripts/judgelitmus.sh $1
20