tools/memory-model: Make runlitmus.sh generate .litmus.out for --hw
authorPaul E. McKenney <paulmck@kernel.org>
Wed, 20 Mar 2019 23:41:41 +0000 (16:41 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Wed, 1 Dec 2021 01:48:15 +0000 (17:48 -0800)
commit21ff5fc9088a11eb494744022f1fbfe609a693fa
treeae152e88b90abb5ba3deaa4cda64465b26ceb5cd
parent78fd692f838398c867c8594bdf312988c08d05b6
tools/memory-model: Make runlitmus.sh generate .litmus.out for --hw

In the absence of "Result:" comments, the runlitmus.sh script relies on
litmus.out files from prior LKMM runs.  This can be a bit user-hostile,
so this commit makes runlitmus.sh generate any needed .litmus.out files
that don't already exist.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/scripts/runlitmus.sh