tree 0d663bec029eb77bc235e7777ff836879a6368c1
parent 137706786f35673ab2e3712bf678c232b3461a16
author Paul E. McKenney <paulmck@kernel.org> 1559812407 -0700
committer Paul E. McKenney <paulmck@kernel.org> 1626803034 -0700

tools/memory-model: Make judgelitmus.sh handle scripted Result: tag

The scripts that generate the litmus tests in the "auto" directory of
the https://github.com/paulmckrcu/litmus archive place the "Result:"
tag into a single-line ocaml comment, which judgelitmus.sh currently
does not recognize.  This commit therefore makes judgelitmus.sh
recognize both the multiline comment format that it currently does
and the automatically generated single-line format.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>