tools/memory-model/scripts/hwfnseg.sh

   1 #!/bin/sh
   2 # SPDX-License-Identifier: GPL-2.0+
   3 #
   4 # Generate the hardware extension to the litmus-test filename, or the
   5 # empty string if this is an LKMM run.  The extension is placed in
   6 # the shell variable hwfnseg.
   7 #
   8 # Usage:
   9 #       . hwfnseg.sh
  10 #
  11 # Copyright IBM Corporation, 2019
  12 #
  13 # Author: Paul E. McKenney <paulmck@linux.ibm.com>
  14
  15 if test -z "$LKMM_HW_MAP_FILE"
  16 then
  17         hwfnseg=
  18 else
  19         hwfnseg=".$LKMM_HW_MAP_FILE"
  20 fi