tools/memory-model: Allow herd to deduce CPU type
authorPaul E. McKenney <paulmck@kernel.org>
Fri, 22 Mar 2019 15:57:20 +0000 (08:57 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Fri, 24 Mar 2023 17:24:14 +0000 (10:24 -0700)
commitb28306a9e50d6cbb20d4c044b1f755b756c2b591
tree911216d4aea24afbfb8fb30240d0d31bfb193eae
parent2027ad41ec5fef054ae264ab5c1150984b2e56f7
tools/memory-model: Allow herd to deduce CPU type

Currently, the scripts specify the CPU's .cat file to herd.  But this is
pointless because herd will select a good and sufficient .cat file from
the assembly-language litmus test itself.  This commit therefore removes
the -model argument to herd, allowing herd to figure the CPU family out
itself.

Note that the user can override herd's choice using the "--herdopts"
argument to the scripts.

Suggested-by: Luc Maranget <luc.maranget@inria.fr>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/scripts/runlitmus.sh