diff options
author | Paul E. McKenney <paulmck@kernel.org> | 2019-03-21 02:41:41 +0300 |
---|---|---|
committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 20:24:14 +0300 |
commit | dbf0b425a698f4a7ff0a846830811677d3c52dc6 (patch) | |
tree | ea12f1b6387e0031b1b86f8b96c82bea3c46d012 /tools/memory-model/litmus-tests | |
parent | 08203824c0dcaaab1c1de438d2ecb2995b99544b (diff) | |
download | linux-dbf0b425a698f4a7ff0a846830811677d3c52dc6.tar.xz |
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>
Diffstat (limited to 'tools/memory-model/litmus-tests')
0 files changed, 0 insertions, 0 deletions