From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: Akira Yokosawa <akiyks@gmail.com>
Cc: perfbook@vger.kernel.org
Subject: Re: [PATCH] CodeSamples/formal/herd: Remove dependency to memory model in cross-klitmus
Date: Sun, 26 Nov 2017 10:40:24 -0800 [thread overview]
Message-ID: <20171126184024.GC3624@linux.vnet.ibm.com> (raw)
In-Reply-To: <7350c9f9-6f73-3a00-eee6-239889f93d37@gmail.com>
[-- Attachment #1: Type: text/plain, Size: 1447 bytes --]
On Thu, Nov 23, 2017 at 12:17:57PM +0900, Akira Yokosawa wrote:
> >From 62491d966a645d08ffc6bb0c5bae9f725458cbec Mon Sep 17 00:00:00 2001
> From: Akira Yokosawa <akiyks@gmail.com>
> Date: Thu, 23 Nov 2017 12:07:18 +0900
> Subject: [PATCH] CodeSamples/formal/herd: Remove dependency to memory model in cross-klitmus
>
> Target "cross-klitmus" does not depend on memory model.
> Remove the implicit dependency of "cd $(LKMM_DIR)" from the recipe.
>
> Fixes: ef76630632df ("CodeSamples/formal/herd: Add Makefile and utility script")
> Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
I applied and pushed both, the first just before the release and the one
below as the first commit after the release.
I also attached the (very crude) scripts that I use to collect herd
performance data, just in case they are useful.
Thanx, Paul
> ---
> CodeSamples/formal/herd/Makefile | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/CodeSamples/formal/herd/Makefile b/CodeSamples/formal/herd/Makefile
> index 1abe5c7..b99699b 100644
> --- a/CodeSamples/formal/herd/Makefile
> +++ b/CodeSamples/formal/herd/Makefile
> @@ -73,7 +73,7 @@ cross-klitmus: klitmus.tar
>
> klitmus.tar: litmus2herd
> mkdir -p klitmus
> - cd $(LKMM_DIR); klitmus7 -o $(HERD_DIR)/klitmus $(addprefix $(HERD_DIR)/,$(LITMUS7_HERD_TEST))
> + klitmus7 -o klitmus $(LITMUS7_HERD_TEST)
> tar cf klitmus.tar ./klitmus
>
> clean:
> --
> 2.7.4
>
>
[-- Attachment #2: absperf.sh --]
[-- Type: application/x-sh, Size: 170 bytes --]
[-- Attachment #3: absperf-reduce.sh --]
[-- Type: application/x-sh, Size: 623 bytes --]
next prev parent reply other threads:[~2017-11-26 18:40 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-21 15:34 [PATCH 0/2] Add Makefile in CodeSamples/formal/herd Akira Yokosawa
2017-11-21 15:35 ` [PATCH 1/2] CodeSamples/formal/herd: Add Makefile and utility script Akira Yokosawa
2017-11-23 3:17 ` [PATCH] CodeSamples/formal/herd: Remove dependency to memory model in cross-klitmus Akira Yokosawa
2017-11-26 18:40 ` Paul E. McKenney [this message]
2017-11-28 15:24 ` Akira Yokosawa
2017-11-29 0:31 ` Paul E. McKenney
2017-11-29 15:24 ` Akira Yokosawa
2017-11-29 16:36 ` Paul E. McKenney
2017-11-21 15:36 ` [PATCH 2/2] CodeSamples/formal/litmus: Fix type of 2:r2 in C-WWC+o+o-*.litmus test Akira Yokosawa
2017-11-22 0:12 ` [PATCH 0/2] Add Makefile in CodeSamples/formal/herd Paul E. McKenney
2017-11-22 1:02 ` Akira Yokosawa
2017-11-22 6:11 ` Paul E. McKenney
2017-11-22 11:32 ` [PATCH] CodeSamples/formal/herd: Add existence check of memory model Akira Yokosawa
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20171126184024.GC3624@linux.vnet.ibm.com \
--to=paulmck@linux.vnet.ibm.com \
--cc=akiyks@gmail.com \
--cc=perfbook@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox