projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0820382) | 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>
Fri, 24 Mar 2023 17:24:14 +0000 (10:24 -0700)
commitdbf0b425a698f4a7ff0a846830811677d3c52dc6
treeea12f1b6387e0031b1b86f8b96c82bea3c46d012tree | snapshot
parent08203824c0dcaaab1c1de438d2ecb2995b99544bcommit | 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 | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git