tools/memory-model: Split runlitmus.sh out of checklitmus.sh
authorPaul E. McKenney <paulmck@kernel.org>
Wed, 20 Mar 2019 21:57:56 +0000 (14:57 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Fri, 24 Mar 2023 17:24:14 +0000 (10:24 -0700)
commit08203824c0dcaaab1c1de438d2ecb2995b99544b
treed576d22e20b31f9cbd814df5aaa556ab16890e0c
parent0838ba7e5b80e593af27bc5b682ee24e9e1e2ca6
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>
tools/memory-model/scripts/checklitmus.sh
tools/memory-model/scripts/runlitmus.sh [new file with mode: 0755]