From 5288a7270455a9814ce1a1a2b9d0691c34e22abd Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Thu, 15 Sep 2022 08:23:28 +0200 Subject: [PATCH] [tests] fixes a sentence in wp readme file --- src/plugins/wp/tests/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/wp/tests/README.md b/src/plugins/wp/tests/README.md index f1d1bc29cf9..d3988a13649 100644 --- a/src/plugins/wp/tests/README.md +++ b/src/plugins/wp/tests/README.md @@ -48,7 +48,7 @@ The `./bin/test.sh` uses, in order of proprity: - `FRAMAC_WP_CACHEDIR` environement variable, - local `./.wp-cache` directory. -Of course, these environment variables must be set to an absolute path to prevent from different execution locations of Frama-C. +Of course, these environment variables must be set to an absolute path since test executions are done from different directories. It is _not_ recommended to use the `FRAMAC_WP_CACHEDIR` variable in your default shell setup, unless is it a temporary directory (eg. `/tmp/wp-sandbox`) since -- GitLab