From e2f7843aabceb6df9f42f108e5ea0ac8f3e9e670 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 27 Jun 2022 14:53:00 +0200
Subject: [PATCH] [Tests] adds a fix proposal related to FRAMAC_WP_CACHEDIR

---
 share/Makefile.testing | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/share/Makefile.testing b/share/Makefile.testing
index 5140d1c941c..768b224d61d 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
 
 ###############################################################################
-- 
GitLab