projects / linux-2.6-block.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c54b59) | patch
tools/memory-model: Add -v flag to jingle7 runs
authorPaul E. McKenney <paulmck@kernel.org>
Fri, 5 Apr 2019 19:34:56 +0000 (12:34 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Wed, 2 Feb 2022 01:33:28 +0000 (17:33 -0800)
commitaa09b964d460838106c6bd1b8f06d4f9bf1e6e42
tree42e7008e29879b27bf57d1ef6720e7656155f506tree
parent0c54b596fd43721c619e42251abed6a45ae16fc0commit | diff
tools/memory-model: Add -v flag to jingle7 runs

Adding the -v flag to jingle7 invocations gives much useful information
on why jingle7 didn't like a given litmus test.  This commit therefore
adds this flag and saves off any such information into a .err file.

Suggested-by: Luc Maranget <luc.maranget@inria.fr>
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)