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>
Wed, 1 Dec 2021 01:48:14 +0000 (17:48 -0800)
commit414c624908281d0c753a1eef95c343781ee50700
treefc2ce39fdcd017d138bcbf564f37bba3c34cd4db
parent8ba43673eb6961eb5acfa3ae9632d2930b154235
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