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, 2 Feb 2022 01:33:28 +0000 (17:33 -0800)
commit80464d9c771b08526be907a7cf3e3688423a28aa
tree914d961f4e975ec424b9a553aad3be79e48669e8
parentc307464de3c7eb7f474c91c9a53d6c26a2d3105e
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]