projects / linux-2.6-block.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f16fb0) | 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, 1 Dec 2021 01:48:15 +0000 (17:48 -0800)
commit0aa664284cb3cd4f1abc19c1d9df5a0570ff86d9
tree3d681b477252de69f7f04f505f46beb08ef7825dtree
parent1f16fb0efb9c05867fd5f23c3dc331869f516c4ecommit | 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)