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>
Wed, 1 Dec 2021 01:48:15 +0000 (17:48 -0800)
commit78fd692f838398c867c8594bdf312988c08d05b6
treec3928dd3d5d5258c46e8ed78eac2141b6935ef57
parent11860b4d3df405e8ac0302935cf0d9bc2500d885
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]