| 12345678910111213141516171819 |
- #!/bin/sh
- # SPDX-License-Identifier: GPL-2.0+
- #
- # Invokes runlitmus.sh and judgelitmus.sh on its arguments to run the
- # specified litmus test and pass judgment on the results.
- #
- # Usage:
- # checklitmus.sh file.litmus
- #
- # Run this in the directory containing the memory model, specifying the
- # pathname of the litmus test to check. The caller is expected to have
- # properly set up the LKMM environment variables.
- #
- # Copyright IBM Corporation, 2018
- #
- # Author: Paul E. McKenney <paulmck@linux.ibm.com>
- scripts/runlitmus.sh $1
- scripts/judgelitmus.sh $1
|
