Paul E. McKenney 75eee921a1 tools/memory-model: Make history-check scripts use mselect7 ...

The history-check scripts currently use grep to ignore non-C-language
litmus tests, which is a bit fragile.  This commit therefore enlists the
aid of "mselect7 -arch C", given Luc Maraget's recent modifications that
allow mselect7 to operate in filter mode.

This change requires herdtools 7.52-32-g1da3e0e50977 or later.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>

2023-03-24 10:24:14 -07:00

2.2 KiB

Executable File

Raw Blame History

View Raw