| #!/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 |