xref: /linux/tools/memory-model/scripts/checklitmus.sh (revision 1ac731c529cd4d6adbce134754b51ff7d822b145)
12fb6ae16SPaul E. McKenney#!/bin/sh
2b02eb5b0SPaul E. McKenney# SPDX-License-Identifier: GPL-2.0+
32fb6ae16SPaul E. McKenney#
408203824SPaul E. McKenney# Invokes runlitmus.sh and judgelitmus.sh on its arguments to run the
508203824SPaul E. McKenney# specified litmus test and pass judgment on the results.
6579ecb2eSPaul E. McKenney#
72fb6ae16SPaul E. McKenney# Usage:
824675bb5SPaul E. McKenney#	checklitmus.sh file.litmus
92fb6ae16SPaul E. McKenney#
10b02eb5b0SPaul E. McKenney# Run this in the directory containing the memory model, specifying the
11b02eb5b0SPaul E. McKenney# pathname of the litmus test to check.  The caller is expected to have
12b02eb5b0SPaul E. McKenney# properly set up the LKMM environment variables.
132fb6ae16SPaul E. McKenney#
142fb6ae16SPaul E. McKenney# Copyright IBM Corporation, 2018
152fb6ae16SPaul E. McKenney#
1661f615ccSPaul E. McKenney# Author: Paul E. McKenney <paulmck@linux.ibm.com>
172fb6ae16SPaul E. McKenney
1808203824SPaul E. McKenneyscripts/runlitmus.sh $1
1908203824SPaul E. McKenneyscripts/judgelitmus.sh $1
20