>From 9ef0701c8f161c8582bd6084e5d2706a0ad92d00 Mon Sep 17 00:00:00 2001 From: Akira Yokosawa <akiyks@xxxxxxxxx> Date: Tue, 20 Feb 2018 00:09:53 +0900 Subject: [PATCH] CodeSamples/formal/herd: Remove dependency to linux-kernel-hardware.cat linux-kernel-hardware.cat is not present in the branch expected to be merged in 4.17 window. Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> --- 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
