]> www.infradead.org Git - users/jedix/linux-maple.git/commit
projects / users / jedix / linux-maple.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: b28306a) | 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>
Fri, 24 Mar 2023 17:24:14 +0000 (10:24 -0700)
commita9504aaa9b0d6906741be69c001722a4d1cbbf1e
tree6e2fe542b143d0e86e430566a7981537a5cbde91tree
parentb28306a9e50d6cbb20d4c044b1f755b756c2b591commit | 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.