diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-04-08 19:27:28 +0300 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 20:24:14 +0300 |
| commit | 2ac8cbee8ef3979df2d2291177d6ec6de7792af6 (patch) | |
| tree | 8bf546e13be3a07febb39298b0f941435072bddc /tools/perf/scripts/python/export-to-postgresql.py | |
| parent | 6e6586b01c32cedc4ddb83dc60911428d6d5f6f1 (diff) | |
| download | linux-2ac8cbee8ef3979df2d2291177d6ec6de7792af6.tar.xz | |
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>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions