From 271573dc772efd31753ab8d34506cc5afd02d354 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 4 May 2021 15:39:24 +0200
Subject: [PATCH] [CI] Minor change for Eva alternative configs.
---
nix/default.nix | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index 769c6bbebcc..03228dd27a4 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -236,8 +236,10 @@ pkgs.lib.makeExtensible
true
'';
buildPhase = ''
+ make clean_share_link
+ make create_share_link
export CONFIGS="equality bitwise symblocs gauges octagon"
- src/plugins/value/vtests
+ src/plugins/value/vtests -j 4
'';
installPhase = ''
true
--
GitLab