diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-04-05 12:34:56 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:14 -0700 |
| commit | d9313e05f08dea8cf9f7a67662d642ba47f8040a (patch) | |
| tree | 6d4b45ed34dc22ab892627dfee460e345c69a990 /ipc | |
| parent | a9504aaa9b0d6906741be69c001722a4d1cbbf1e (diff) | |
| download | linux-stable-d9313e05f08dea8cf9f7a67662d642ba47f8040a.tar.gz linux-stable-d9313e05f08dea8cf9f7a67662d642ba47f8040a.tar.bz2 linux-stable-d9313e05f08dea8cf9f7a67662d642ba47f8040a.zip | |
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>
Diffstat (limited to 'ipc')
0 files changed, 0 insertions, 0 deletions