| 1 | #!/bin/sh |
| 2 | # SPDX-License-Identifier: GPL-2.0+ |
| 3 | # |
| 4 | # Invokes checklitmus.sh on its arguments to run the specified litmus |
| 5 | # test and pass judgment on the results. |
| 6 | # |
| 7 | # Usage: |
| 8 | # checktheselitmus.sh -- [ file1.litmus [ file2.litmus ... ] ] |
| 9 | # |
| 10 | # Run this in the directory containing the memory model, specifying the |
| 11 | # pathname of the litmus test to check. The usual parseargs.sh arguments |
| 12 | # can be specified prior to the "--". |
| 13 | # |
| 14 | # This script is intended for use with pathnames that start from the |
| 15 | # tools/memory-model directory. If some of the pathnames instead start at |
| 16 | # the root directory, they all must do so and the "--destdir /" parseargs.sh |
| 17 | # argument must be specified prior to the "--". Alternatively, some other |
| 18 | # "--destdir" argument can be supplied as long as the needed subdirectories |
| 19 | # are populated. |
| 20 | # |
| 21 | # Copyright IBM Corporation, 2018 |
| 22 | # |
| 23 | # Author: Paul E. McKenney <[email protected]> |
| 24 | |
| 25 | |
| 26 | |
| 27 | ret=0 |
| 28 | for |
| 29 | do |
| 30 | if |
| 31 | then |
| 32 | |
| 33 | else |
| 34 | ret=1 |
| 35 | fi |
| 36 | done |
| 37 | if |
| 38 | then |
| 39 | |
| 40 | else |
| 41 | |
| 42 | fi |
| 43 |