projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ac8cbe) | patch
tools/memory-model: Make history-check scripts use mselect7
authorPaul E. McKenney <paulmck@kernel.org>
Mon, 8 Apr 2019 17:02:23 +0000 (10:02 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Fri, 24 Mar 2023 17:24:14 +0000 (10:24 -0700)
commit75eee921a1e9fc13d3b6766d98cdf842e843c31d
treeaf00e9705c496ece23f7b81b891592671fd8757ftree | snapshot
parent2ac8cbee8ef3979df2d2291177d6ec6de7792af6commit | diff
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>
tools/memory-model/scripts/initlitmushist.sh diff | blob | history
tools/memory-model/scripts/newlitmushist.sh diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git