From b27c36e4a0621af081d2d2d7d6e1d69af4803b81 Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Tue, 28 Jun 2022 12:33:54 +0200 Subject: [PATCH] [Tests] modifies the proposal related to FRAMAC_WP_CACHEDIR --- share/Makefile.testing | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/share/Makefile.testing b/share/Makefile.testing index 768b224d61d..4a4a7defa43 100644 --- a/share/Makefile.testing +++ b/share/Makefile.testing @@ -166,7 +166,7 @@ tests: run-tests @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" + @echo "> FRAMAC_WP_CACHEDIR=<DIR>/wp-cache make tests" endif ############################################################################### -- GitLab