>From 0d7dfde21ffe55289ade8c84385a3abbd3c7502b Mon Sep 17 00:00:00 2001 From: Akira Yokosawa <akiyks@xxxxxxxxx> Date: Thu, 29 Nov 2018 20:55:43 +0900 Subject: [PATCH 2/4] CodeSamples/formal/herd: Add recipe for klitmus7-ready tests List such tests in KLITMUS_READY. Those tests converted from ../litmus are klitmus7 ready from the beginning. Add "-rcu yes" option to klitmus7 to cover RCU tests. Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> --- CodeSamples/formal/herd/Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/CodeSamples/formal/herd/Makefile b/CodeSamples/formal/herd/Makefile index 05a8e6d..e23148e 100644 --- a/CodeSamples/formal/herd/Makefile +++ b/CodeSamples/formal/herd/Makefile @@ -49,6 +49,8 @@ ABSPERF_SHORT := $(filter-out $(ABSPERF_LONG),$(ABSPERF_TEST)) ABSPERF_OUT = absperf.out absperf-all.out HERD7_TEST := $(filter-out $(ABSPERF_TEST),$(HERD7_LITMUS)) HERD7_OUT := $(HERD7_TEST:%.litmus=%.out) +KLITMUS_READY = C-RCU-remove C-RomanPenyaev-list-rcu-rr +KLITMUS_TEST := $(addsuffix .litmus,$(KLITMUS_READY)) .PHONY: all clean litmus2herd run-herd7 run-absperf run-absperf-all cross-klitmus .PHONY: help @@ -98,9 +100,9 @@ $(ABSPERF_OUT): cross-klitmus: klitmus.tar -klitmus.tar: litmus2herd +klitmus.tar: litmus2herd $(KLITMUS_TEST) mkdir -p klitmus - klitmus7 -o klitmus $(LITMUS7_HERD_TEST) + klitmus7 -rcu yes -o klitmus $(LITMUS7_HERD_TEST) $(KLITMUS_TEST) tar cf klitmus.tar ./klitmus help: -- 2.7.4
