Hi Paul,
I see some inconsistency between the header comment of judgelitmus.sh
and the updated script.
This patch set updates the header. It is relative to current lkmm-dev
of -rcu.
Patch 1/2 corresponds to ("tools/memory-model: Move from
.AArch64.litmus.out to .litmus.AArch.out").
Patch 2/2 corresponds to ("tools/memory-model: Add data-race
capabilities to judgelitmus.sh").
You should be able to use each patch as a fix-up commit respectively.
I'm OK either with them applied at the head of the branch or
with them merged into your commits.
Thanks, Akira
--
Akira Yokosawa (2):
tools/memory-model: Reflect updated file name convention in
judgelitmus.sh
tools/memory-model: Mention data-race capability in jugdelitmus.sh's
header
tools/memory-model/scripts/judgelitmus.sh | 20 +++++++++++++-------
1 file changed, 13 insertions(+), 7 deletions(-)
--
2.17.1
