tools/memory-model: Update parseargs.sh for hardware verification
authorPaul E. McKenney <paulmck@kernel.org>
Tue, 19 Mar 2019 22:59:26 +0000 (15:59 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Fri, 24 Mar 2023 17:24:13 +0000 (10:24 -0700)
commitb1710979f83d108f0d8c111e56cf33854e31dfa1
tree1a06acf081961885c17760b2a90f40acf0f17eb3
parent61f615cc36780fab92974c3ec921281ba44fdaa4
tools/memory-model: Update parseargs.sh for hardware verification

This commit adds a --hw argument to parseargs.sh to specify the CPU
family for a hardware verification.  For example, "--hw AArch64" will
specify that a C-language litmus test is to be translated to ARMv8 and
the result verified.  This will set the LKMM_HW_MAP_FILE environment
variable accordingly.  If there is no --hw argument, this environment
variable will be set to the empty string.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/scripts/parseargs.sh