diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2019-03-25 17:20:51 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-03-24 10:24:14 -0700 |
| commit | a9504aaa9b0d6906741be69c001722a4d1cbbf1e (patch) | |
| tree | 6e2fe542b143d0e86e430566a7981537a5cbde91 /lib/livepatch | |
| parent | b28306a9e50d6cbb20d4c044b1f755b756c2b591 (diff) | |
tools/memory-model: Make runlitmus.sh check for jingle errors
It turns out that the jingle7 tool is currently a bit picky about
the litmus tests it is willing to process. This commit therefore
ensures that jingle7 failures are reported.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'lib/livepatch')
0 files changed, 0 insertions, 0 deletions