Skip to content
Snippets Groups Projects
Commit 2be38656 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[ci] WP cache: offline

parent 8f01ed9c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
nix/internal-tests.nix
+ 1
− 1
View file @ 2be38656
...@@ -123,7 +123,7 @@ stdenvNoCC.mkDerivation rec { ...@@ -123,7 +123,7 @@ stdenvNoCC.mkDerivation rec {
mkdir home mkdir home
HOME=$(pwd)/home HOME=$(pwd)/home
why3 config detect why3 config detect
export FRAMAC_WP_CACHE=replay export FRAMAC_WP_CACHE=offline
export FRAMAC_WP_CACHEDIR=$wp_cache export FRAMAC_WP_CACHEDIR=$wp_cache
''; '';
......
nix/mk_plugin.nix
+ 1
− 1
View file @ 2be38656
...@@ -100,7 +100,7 @@ stdenv.mkDerivation { ...@@ -100,7 +100,7 @@ stdenv.mkDerivation {
mkdir home mkdir home
HOME=$(pwd)/home HOME=$(pwd)/home
why3 config detect why3 config detect
export FRAMAC_WP_CACHE=replay export FRAMAC_WP_CACHE=offline
export FRAMAC_WP_CACHEDIR=$wp_cache export FRAMAC_WP_CACHEDIR=$wp_cache
'' ''
else "") ; else "") ;
......
nix/mk_tests.nix
+ 1
− 1
View file @ 2be38656
...@@ -70,7 +70,7 @@ stdenvNoCC.mkDerivation { ...@@ -70,7 +70,7 @@ stdenvNoCC.mkDerivation {
mkdir home mkdir home
HOME=$(pwd)/home HOME=$(pwd)/home
why3 config detect why3 config detect
export FRAMAC_WP_CACHE=replay export FRAMAC_WP_CACHE=offline
export FRAMAC_WP_CACHEDIR=$wp_cache export FRAMAC_WP_CACHEDIR=$wp_cache
'' ''
else "" ; else "" ;
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment