Messages in this thread | | | Subject | [PATCH 0/2] tools/memory-model: Update comment of jugdelitmus.sh | From | Akira Yokosawa <> | Date | Thu, 15 Aug 2019 00:11:36 +0900 |
| |
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
| |