[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20190814232404.GC28441@linux.ibm.com>
Date: Wed, 14 Aug 2019 16:24:04 -0700
From: "Paul E. McKenney" <paulmck@...ux.ibm.com>
To: Akira Yokosawa <akiyks@...il.com>
Cc: linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org,
Ingo Molnar <mingo@...nel.org>,
Alan Stern <stern@...land.harvard.edu>,
Andrea Parri <parri.andrea@...il.com>,
Will Deacon <will@...nel.org>,
Boqun Feng <boqun.feng@...il.com>,
Nicholas Piggin <npiggin@...il.com>,
David Howells <dhowells@...hat.com>,
Jade Alglave <j.alglave@....ac.uk>,
Luc Maranget <luc.maranget@...ia.fr>,
Peter Zijlstra <peterz@...radead.org>,
Daniel Lustig <dlustig@...dia.com>
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
>
>
Powered by blists - more mailing lists