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, 1 Dec 2021 01:48:15 +0000 (17:48 -0800)
commit1f16fb0efb9c05867fd5f23c3dc331869f516c4e
tree4f04f33bd161d58972da1f280cc8f9d350d9dd85
parent2bf9fea0c3705024fa3da133b3018a1d408151a4
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