| 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 | |
| 18 | |
| 19 |