projects / platform / kernel / linux-starfive.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9504aa) | 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>
Fri, 24 Mar 2023 17:24:14 +0000 (10:24 -0700)
commitd9313e05f08dea8cf9f7a67662d642ba47f8040a
tree6d4b45ed34dc22ab892627dfee460e345c69a990tree | snapshot
parenta9504aaa9b0d6906741be69c001722a4d1cbbf1ecommit | 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 | history
Domain: System / Kernel;