While here, fold the long list as well. Signed-off-by: Akira Yokosawa <[email protected]> --- CodeSamples/formal/herd/Makefile | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/CodeSamples/formal/herd/Makefile b/CodeSamples/formal/herd/Makefile index 069f77ea..257ee556 100644 --- a/CodeSamples/formal/herd/Makefile +++ b/CodeSamples/formal/herd/Makefile @@ -49,7 +49,15 @@ 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-Lock1 C-Lock2 C-RCU-remove C-RomanPenyaev-list-rcu-rr C-SB+o-rcusync-o+rl-o-o-rul +KLITMUS_READY = \ + C-Lock1 C-Lock2 \ + C-RCU-remove C-RomanPenyaev-list-rcu-rr \ + C-SB+o-rcusync-o+rl-o-o-rul \ + C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul \ + C-MP+o-o-rcusync-o+o-o-rcusync-o+rl-o-o-rul \ + C-double-check-cas-2 \ + C-double-check-rcu-2 C-double-check-rcu-3 C-double-check-rcu-4 + KLITMUS_TEST := $(addsuffix .litmus,$(KLITMUS_READY)) .PHONY: all clean litmus2herd run-herd7 run-absperf run-absperf-all cross-klitmus -- 2.43.0
