projects / linux-2.6-block.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8a4815) | patch
tools/memory-model: Make checkghlitmus.sh use mselect7
authorPaul E. McKenney <paulmck@kernel.org>
Mon, 8 Apr 2019 16:27:28 +0000 (09:27 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Wed, 2 Feb 2022 01:33:28 +0000 (17:33 -0800)
commita0645c26f2023b881ea41705218d5bcfa9221e8a
tree27b1b1e6aa219ff89e1e97f5767ad3c1e0e6a6a8tree
parentb8a4815a8762638bdad8bd60225aa5d31e77fa94commit | diff
tools/memory-model: Make checkghlitmus.sh use mselect7

The checkghlitmus.sh script currently uses 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/checkghlitmus.sh diff | blob | blame | history
Linux 6.x block layer and io_uring tree(s)