]> www.infradead.org Git - users/jedix/linux-maple.git/commit
projects / users / jedix / linux-maple.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fdc3fb) | patch
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>
Mon, 10 May 2021 23:29:07 +0000 (16:29 -0700)
commit16b727cd5830eee2cb937c23618ce4b547b7355c
treec47371e647afacad6dc1d834359d4656e5108b50tree
parent3fdc3fbc7c9508d23ecb2e9087ee8e5beb706cb5commit | 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>
tools/memory-model/scripts/runlitmus.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.