diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-03-20 14:57:56 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:14 -0700 |
| commit | 08203824c0dcaaab1c1de438d2ecb2995b99544b (patch) | |
| tree | d576d22e20b31f9cbd814df5aaa556ab16890e0c /virt | |
| parent | 0838ba7e5b80e593af27bc5b682ee24e9e1e2ca6 (diff) | |
tools/memory-model: Split runlitmus.sh out of checklitmus.sh
This commit prepares for adding --hw capability to github litmus-test
scripts by splitting runlitmus.sh (which simply runs the verification)
out of checklitmus.sh (which also judges the results).
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'virt')
0 files changed, 0 insertions, 0 deletions