Merge branch 'feature/tests/include-deeper-tests-directories' into 'master'

Feature/tests/include deeper tests directories

See merge request frama-c/frama-c!4812

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>