Skip to content
Snippets Groups Projects
Commit e2f7843a authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Tests] adds a fix proposal related to FRAMAC_WP_CACHEDIR

parent 22bea710
No related branches found
No related tags found
No related merge requests found
...@@ -162,7 +162,11 @@ ifneq ($(FRAMAC_WP_CACHEDIR),) ...@@ -162,7 +162,11 @@ ifneq ($(FRAMAC_WP_CACHEDIR),)
tests: run-tests tests: run-tests
else else
tests: run-tests tests: run-tests
@echo "WARNING: cannot run -config qualif tests of WP plugin since FRAMAC_WP_CACHEDIR variable is undefined." @echo "Warning: cannot run some tests related to WP plugin since FRAMAC_WP_CACHEDIR variable is undefined."
@echo "Fix proposal:"
@echo "> cd <DIR>"
@echo "> git clone git@git.frama-c.com:frama-c/wp-cache.git"
@echo "> export FRAMAC_WP_CACHEDIR=<DIR>/wp-cache"
endif endif
############################################################################### ###############################################################################
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment