| Message ID | 277937a7-0f50-ec1c-09ec-95ffbf85541e@gmail.com |
|---|---|
| Headers | show |
| Series | tools/memory-model: Update comment of jugdelitmus.sh | expand |
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 > >
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