diff --git a/share/Makefile.testing b/share/Makefile.testing index 5140d1c941cdc2bb0866978f2c935fd40c9b50b6..768b224d61d3dd662fd86b41a7001de0ca605956 100644 --- a/share/Makefile.testing +++ b/share/Makefile.testing @@ -162,7 +162,11 @@ ifneq ($(FRAMAC_WP_CACHEDIR),) tests: run-tests else 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 ###############################################################################