diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-03-19 15:59:26 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:13 -0700 |
| commit | b1710979f83d108f0d8c111e56cf33854e31dfa1 (patch) | |
| tree | 1a06acf081961885c17760b2a90f40acf0f17eb3 /tools/memory-model/scripts/judgelitmus.sh | |
| parent | 61f615cc36780fab92974c3ec921281ba44fdaa4 (diff) | |
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>
Diffstat (limited to 'tools/memory-model/scripts/judgelitmus.sh')
0 files changed, 0 insertions, 0 deletions