commit | 0e0428edd83d318c885d3bf40904b103cb9e6e7e | [log] [tgz] |
---|---|---|
author | Paul E. McKenney <paulmck@kernel.org> | Wed Mar 20 14:57:56 2019 -0700 |
committer | Paul E. McKenney <paulmck@kernel.org> | Tue Jul 20 10:43:48 2021 -0700 |
tree | 1e5ac81efb4a99a7bb1e9ff4f9ef944da750749a | |
parent | 012ae5d515e5670508974cb69a0d63a9df43cb13 [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>