>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>
---
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
