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, 2 Feb 2022 01:33:27 +0000 (17:33 -0800)
commitd8772abddbd7e3ed5f5adca52f55b3ad3d79483e
treef7db5aab1ba4e639853f6d8a6be22962e9ee47c3
parentf8601cfe192fbd6cbea6962b3afa3927c0054c77
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