On Wed, Feb 21, 2018 at 12:29:53AM +0900, Akira Yokosawa wrote: > >From 8ba8747211c2793fae6d280833190bbe74486198 Mon Sep 17 00:00:00 2001 > From: Akira Yokosawa <akiyks@xxxxxxxxx> > Date: Tue, 20 Feb 2018 00:09:53 +0900 > Subject: [PATCH v2] CodeSamples/formal/herd: Remove dependency on linux-kernel-hardware.cat > > The target "run-herd7" doesn't depend on linux-kernel-hardware.cat. > So remove it from the dependency list. > This change also makes the target compatible with the provisional > memory-consistency model branch [1] intended to be merged into Linux > mainline. > > [1] git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git lkmm > > Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> Applied and pushed, thank you! Thanx, Paul > --- > Changes in v2: > Rephrase change log to clarify the intention of the change. > -- > 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 8e0635a..3162659 100644 > --- a/CodeSamples/formal/herd/Makefile > +++ b/CodeSamples/formal/herd/Makefile > @@ -31,7 +31,7 @@ > > LKMM_DIR := memory-model > LKMM_FILES := linux-kernel.bell linux-kernel.cat linux-kernel.cfg \ > - linux-kernel.def linux-kernel-hardware.cat lock.cat > + linux-kernel.def lock.cat > LKMM_LIST := $(addprefix $(LKMM_DIR)/,$(LKMM_FILES)) > HERD_DIR := $(shell pwd) > HERD7_CMD := $(shell which herd7) > -- > 2.7.4 > > -- To unsubscribe from this list: send the line "unsubscribe perfbook" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
