]> www.infradead.org Git - users/jedix/linux-maple.git/commit
projects / users / jedix / linux-maple.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: fa9d6b3) | 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>
Mon, 10 May 2021 23:29:07 +0000 (16:29 -0700)
commit54ab0eea01ee017072a4167bf6f34deef4f8c1ea
treeaeff2de959c5f7cdf2b9346a2479bad133bfc2actree
parentfa9d6b3493d3f0c4ec79ccdd712cd8a1d2c2ec40commit | 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
Unnamed repository; edit this file 'description' to name the repository.