Skip to content
Snippets Groups Projects
Commit 22e39fb3 authored by Valentin Perrelle's avatar Valentin Perrelle
Browse files

[tests] Include tests directory which may be deeply stored inside src/plugins

parent 8f12090f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
Makefile
+ 1
− 1
View file @ 22e39fb3
...@@ -141,7 +141,7 @@ FRAMAC_PTESTS:=$(FRAMAC_PTESTS_SRC)/ptests.exe ...@@ -141,7 +141,7 @@ FRAMAC_PTESTS:=$(FRAMAC_PTESTS_SRC)/ptests.exe
FRAMAC_WTESTS:=$(FRAMAC_PTESTS_SRC)/wtests.exe FRAMAC_WTESTS:=$(FRAMAC_PTESTS_SRC)/wtests.exe
# Frama-C also has ptest directories in plugins, so we do not use default # 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 src/kernel_internals/parsing/tests
# Test aliasing definition allowing ./configure --disable-<plugin> # Test aliasing definition allowing ./configure --disable-<plugin>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment