diff options
| author | Paul E. McKenney <[email protected]> | 2019-04-08 10:02:23 -0700 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2023-03-24 10:24:14 -0700 |
| commit | 75eee921a1e9fc13d3b6766d98cdf842e843c31d (patch) | |
| tree | af00e9705c496ece23f7b81b891592671fd8757f /drivers/usb/cdns3/cdns3-debug.h | |
| parent | 2ac8cbee8ef3979df2d2291177d6ec6de7792af6 (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 <[email protected]>
Diffstat (limited to 'drivers/usb/cdns3/cdns3-debug.h')
0 files changed, 0 insertions, 0 deletions