From ac3a40a5dbafd3e12d080526f0ed44061cf52548 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Fri, 26 Jul 2024 11:25:02 +0300
Subject: [PATCH] Exclude nonsense kernel1 test

---
 test/small2/kernel1.c | 2 +-
 test/testcil.pl       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/small2/kernel1.c b/test/small2/kernel1.c
index 46c2673f7..05f8814d2 100644
--- a/test/small2/kernel1.c
+++ b/test/small2/kernel1.c
@@ -1,4 +1,4 @@
-
+// This test is nonsense: DECLARE_WAIT_QUEUE_HEAD is a macro in Linux kernel
 DECLARE_WAIT_QUEUE_HEAD(log_wait);
 
 
diff --git a/test/testcil.pl b/test/testcil.pl
index be107b9d7..64c8c1a97 100644
--- a/test/testcil.pl
+++ b/test/testcil.pl
@@ -658,7 +658,7 @@ sub addToGroup {
 addBadComment("scott/globalprob", "Notbug. Not a bug if fails on a non-Linux machine ;-)");
 addTest("scott/bisonerror $gcc");
 addTest("scott/cmpzero");
-addTest("scott/kernel1 $gcc");
+# addTest("scott/kernel1 $gcc");
 addTest("scott/kernel2 $gcc");
 addTest("scott/xcheckers $gcc");
 addTest("scott/memberofptr $gcc");