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 <[email protected]> 17 18scripts/runlitmus.sh $1 19scripts/judgelitmus.sh $1 20 21
