diff options
author | Paul E. McKenney <paulmck@kernel.org> | 2019-03-22 08:57:20 -0700 |
---|---|---|
committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:14 -0700 |
commit | b28306a9e50d6cbb20d4c044b1f755b756c2b591 (patch) | |
tree | 911216d4aea24afbfb8fb30240d0d31bfb193eae /lib | |
parent | 2027ad41ec5fef054ae264ab5c1150984b2e56f7 (diff) | |
download | linux-stable-b28306a9e50d6cbb20d4c044b1f755b756c2b591.tar.gz linux-stable-b28306a9e50d6cbb20d4c044b1f755b756c2b591.tar.bz2 linux-stable-b28306a9e50d6cbb20d4c044b1f755b756c2b591.zip |
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>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions