projects / linux-2.6-block.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80464d9) | patch
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, 2 Feb 2022 01:33:28 +0000 (17:33 -0800)
commit20c3bdc3805744b22e6a4ef713967b9b52cba640
treea0363c6eaaeaa0c71a279c66f63e55633588f5d3tree
parent80464d9c771b08526be907a7cf3e3688423a28aacommit | diff
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 diff | blob | blame | history
Linux 6.x block layer and io_uring tree(s)