Messages in this thread | | | Date | Wed, 14 Aug 2019 16:24:04 -0700 | From | "Paul E. McKenney" <> | Subject | Re: [PATCH 0/2] tools/memory-model: Update comment of jugdelitmus.sh |
| |
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 > >
| |