On Thu, Aug 15, 2019 at 12:11:36AM +0900, Akira Yokosawa wrote:
> 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.
Good catches, thank you for looking these commits over! I will squash
your changes into the original commits with attribution.
Thanx, Paul
> 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
>
>
