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