diff options
| author | Paul E. McKenney <[email protected]> | 2019-04-05 12:34:56 -0700 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2023-03-24 10:24:14 -0700 |
| commit | d9313e05f08dea8cf9f7a67662d642ba47f8040a (patch) | |
| tree | 6d4b45ed34dc22ab892627dfee460e345c69a990 /drivers/usb/cdns3/cdns3-debug.h | |
| parent | a9504aaa9b0d6906741be69c001722a4d1cbbf1e (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 <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Diffstat (limited to 'drivers/usb/cdns3/cdns3-debug.h')
0 files changed, 0 insertions, 0 deletions