>From 89710e2fb5d2692ed9b3912d907c9fc4bd15ba3e Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Sat, 11 Nov 2017 01:08:35 +0900
Subject: [PATCH 2/3] CodeSamples/formal: Remove 2nd parentheses in tests under herd/
These are incompatible with "herd7" command.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-C.litmus | 4 ----
CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-CE.litmus | 4 ----
CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-X.litmus | 4 ----
CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-XE.litmus | 4 ----
CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u.litmus | 4 ----
5 files changed, 20 deletions(-)
diff --git a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-C.litmus b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-C.litmus
index cee5912..ae64726 100644
--- a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-C.litmus
+++ b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-C.litmus
@@ -3,10 +3,6 @@ C C-SB+l-o-o-u+l-o-o-u-C
{
}
-{
-#include "api.h"
-}
-
P0(int *sl, int *x0, int *x1)
{
int r2;
diff --git a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-CE.litmus b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-CE.litmus
index b331740..1e2dd5b 100644
--- a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-CE.litmus
+++ b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-CE.litmus
@@ -3,10 +3,6 @@ C C-SB+l-o-o-u+l-o-o-u-CE
{
}
-{
-#include "api.h"
-}
-
P0(int *sl, int *x0, int *x1)
{
int r2;
diff --git a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-X.litmus b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-X.litmus
index e8c489d..30a7fe7 100644
--- a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-X.litmus
+++ b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-X.litmus
@@ -3,10 +3,6 @@ C C-SB+l-o-o-u+l-o-o-u-X
{
}
-{
-#include "api.h"
-}
-
P0(int *sl, int *x0, int *x1)
{
int r2;
diff --git a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-XE.litmus b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-XE.litmus
index 51aa67b..28a0f83 100644
--- a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-XE.litmus
+++ b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u-XE.litmus
@@ -3,10 +3,6 @@ C C-SB+l-o-o-u+l-o-o-u-XE
{
}
-{
-#include "api.h"
-}
-
P0(int *sl, int *x0, int *x1)
{
int r2;
diff --git a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u.litmus b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u.litmus
index c7df045..c16d8f9 100644
--- a/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u.litmus
+++ b/CodeSamples/formal/herd/C-SB+l-o-o-u+l-o-o-u.litmus
@@ -3,10 +3,6 @@ C C-SB+l-o-o-u+l-o-o-u
{
}
-{
-#include "api.h"
-}
-
P0(spinlock_t *sl, int *x0, int *x1)
{
int r1;
--
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
