20 lines · bash
1#!/bin/sh2# SPDX-License-Identifier: GPL-2.0+3#4# Invokes runlitmus.sh and judgelitmus.sh on its arguments to run the5# specified litmus test and pass judgment on the results.6#7# Usage:8# checklitmus.sh file.litmus9#10# Run this in the directory containing the memory model, specifying the11# pathname of the litmus test to check. The caller is expected to have12# properly set up the LKMM environment variables.13#14# Copyright IBM Corporation, 201815#16# Author: Paul E. McKenney <paulmck@linux.ibm.com>17 18scripts/runlitmus.sh $119scripts/judgelitmus.sh $120