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

[PATCH 0/2] tools/memory-model: Update comment of jugdelitmus.sh

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 co