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