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

[tests] fixes a sentence in wp readme file

parent 08faba04
No related branches found
No related tags found
No related merge requests found
...@@ -48,7 +48,7 @@ The `./bin/test.sh` uses, in order of proprity: ...@@ -48,7 +48,7 @@ The `./bin/test.sh` uses, in order of proprity:
- `FRAMAC_WP_CACHEDIR` environement variable, - `FRAMAC_WP_CACHEDIR` environement variable,
- local `./.wp-cache` directory. - 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 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 shell setup, unless is it a temporary directory (eg. `/tmp/wp-sandbox`) since
......
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