tools/memory-model/scripts/checktheselitmus.sh

   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 <paulmck@linux.ibm.com>
  24
  25 . scripts/parseargs.sh
  26
  27 ret=0
  28 for i in "$@"
  29 do
  30         if scripts/checklitmus.sh $i
  31         then
  32                 :
  33         else
  34                 ret=1
  35         fi
  36 done
  37 if test "$ret" -ne 0
  38 then
  39         echo " ^^^ VERIFICATION MISMATCHES" 1>&2
  40 else
  41         echo All litmus tests verified as was expected. 1>&2
  42 fi
  43 exit $ret