From 22e39fb36f40eebe848e5180043441df86da2f44 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 3 Oct 2024 17:03:22 +0200
Subject: [PATCH] [tests] Include tests directory which may be deeply stored
 inside src/plugins

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 7c5b6b4d730..850ada2bc6c 100644
--- a/Makefile
+++ b/Makefile
@@ -141,7 +141,7 @@ FRAMAC_PTESTS:=$(FRAMAC_PTESTS_SRC)/ptests.exe
 FRAMAC_WTESTS:=$(FRAMAC_PTESTS_SRC)/wtests.exe
 
 # Frama-C also has ptest directories in plugins, so we do not use default
-PTEST_ALL_DIRS:=tests $(wildcard src/plugins/*/tests) \
+PTEST_ALL_DIRS:=tests $(shell find src/plugins -type d -name tests) \
   src/kernel_internals/parsing/tests
 
 # Test aliasing definition allowing ./configure --disable-<plugin>
-- 
GitLab