>From 0ddf5c5ea4a66a0d6bff1b6c0ce32682459c20ad Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Tue, 12 Feb 2019 23:18:29 +0900
Subject: [PATCH 4/4] memorder: Remove 'snippet' meta command in stray litmus test
C-SB+o-rcusync-o+rl-rul-o.litmus is identical to
C-SB+o-rcusync-o+rl-o-rul-o.litmus and causes "make" to emit
warning:
target 'CodeSamples/formal/herd/C-SB+o-rcusync-o+rl-o-rul-o@xxxxxxxxx'
given more than once in the same rule
This commit removes "snippet" meta commands in the test.
Just removing the file can cause a build error afterward.
A "make clean" will resolve the error, but keeping the file
looks like a reasonable approach to avoid surprising people.
The file can be removed in the near future when most active
users have updated snippets.d.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
CodeSamples/formal/herd/C-SB+o-rcusync-o+rl-rul-o.litmus | 2 --
1 file changed, 2 deletions(-)
diff --git a/CodeSamples/formal/herd/C-SB+o-rcusync-o+rl-rul-o.litmus b/CodeSamples/formal/herd/C-SB+o-rcusync-o+rl-rul-o.litmus
index a39baf3..2407a51 100644
--- a/CodeSamples/formal/herd/C-SB+o-rcusync-o+rl-rul-o.litmus
+++ b/CodeSamples/formal/herd/C-SB+o-rcusync-o+rl-rul-o.litmus
@@ -1,5 +1,4 @@
C C-SB+o-rcusync-o+rl-o-rul-o
-//\begin[snippet][labelbase=ln:formal:C-SB+o-rcusync-o+rl-o-rul-o:whole,commandchars=\@\[\]]
{
}
@@ -19,5 +18,4 @@ P1(uintptr_t *x0, uintptr_t *x1)
uintptr_t r2 = READ_ONCE(*x0);
}
-//\end[snippet]
exists (1:r2=0 /\ 0:r2=0)
--
2.7.4
