>From cc8805ea5c2a65f60789adff102c64135bac1343 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Wed, 29 Aug 2018 21:15:54 +0900
Subject: [PATCH 5/9] Exclude meta command lines in .litmus -> .litmus.herd conversion
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
CodeSamples/formal/herd/litmus2herd.sh | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/CodeSamples/formal/herd/litmus2herd.sh b/CodeSamples/formal/herd/litmus2herd.sh
index ebcd01b..c1a69bc 100644
--- a/CodeSamples/formal/herd/litmus2herd.sh
+++ b/CodeSamples/formal/herd/litmus2herd.sh
@@ -17,4 +17,6 @@
grep -n -A1 -B1 "api.h" $1 | \
sed -n 's/^\([0-9]\{1,\}\).*/\1d/p' | \
-sed -f - $1 > $2
+sed -f - $1 | \
+sed -e '/\\begin\[snippet\]/d' | \
+sed -e '/\\end\[snippet\]/d' > $2
--
2.7.4
