From ab158cc958e020756edf015ac73acdf6d2ac1ba5 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 8 Aug 2023 16:20:50 +0200
Subject: [PATCH] [tests] add fc_script to kernel-tests and remove from ptests
---
nix/kernel-tests.nix | 2 ++
tests/ptests_config | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/nix/kernel-tests.nix b/nix/kernel-tests.nix
index 3ca82c80b24..5fa1c0096d2 100644
--- a/nix/kernel-tests.nix
+++ b/nix/kernel-tests.nix
@@ -16,5 +16,7 @@ mk_tests {
@tests/syntax/ptests \
@tests/test/ptests \
@src/kernel_internals/parsing/tests/ptests
+ dune runtest \
+ tests/fc_script
'';
}
diff --git a/tests/ptests_config b/tests/ptests_config
index 1df830115c7..cac61a03572 100644
--- a/tests/ptests_config
+++ b/tests/ptests_config
@@ -4,7 +4,7 @@
### Tests of kernel
-DEFAULT_SUITES= cil compliance dynamic fc_script jcdb libc misc
+DEFAULT_SUITES= cil compliance dynamic jcdb libc misc
DEFAULT_SUITES= pretty_printing saveload spec syntax test
### Tests of small plugins
--
GitLab