tools/memory-model/scripts/checklitmus.sh

   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 <paulmck@linux.ibm.com>
  17
  18 scripts/runlitmus.sh $1
  19 scripts/judgelitmus.sh $1