diff --git a/nix/kernel-tests.nix b/nix/kernel-tests.nix index 3ca82c80b2459cccb879668862953a4fc013ebbb..5fa1c0096d2945ddd0d07d183dd63271c7d9f448 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 1df830115c750baa5eb44fd157a1e90054422381..cac61a035729f47fde2b0f896f1859e497b5dcad 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