tools/memory-model: Make runlitmus.sh check for jingle errors
authorPaul E. McKenney <paulmck@kernel.org>
Tue, 26 Mar 2019 00:20:51 +0000 (17:20 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Wed, 2 Feb 2022 01:33:28 +0000 (17:33 -0800)
commit0c54b596fd43721c619e42251abed6a45ae16fc0
tree2a65930672511ae9db43c89c62cf483c0a40f804
parentab023c1a373370c79a2363f6c738e9acd92aac2a
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>
tools/memory-model/scripts/runlitmus.sh