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