linux/tools/memory-model/scripts/hwfnseg.sh

#!/bin/sh
# SPDX-License-Identifier: GPL-2.0+
#
# Generate the hardware extension to the litmus-test filename, or the
# empty string if this is an LKMM run.  The extension is placed in
# the shell variable hwfnseg.
#
# Usage:
#	. hwfnseg.sh
#
# Copyright IBM Corporation, 2019
#
# Author: Paul E. McKenney <[email protected]>

if test -z "$LKMM_HW_MAP_FILE"
then
	hwfnseg=
else
	hwfnseg=".$LKMM_HW_MAP_FILE"
fi