From 960082ea4e7b91ba418dcdc11794dc38a9f421c9 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 2 Jun 2022 11:43:11 +0200
Subject: [PATCH] adds .sh to src/plugins/value/vtests
---
nix/default.nix | 2 +-
src/plugins/value/{vtests => vtests.sh} | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename src/plugins/value/{vtests => vtests.sh} (100%)
diff --git a/nix/default.nix b/nix/default.nix
index 6c86751e7be..50cdf2558d0 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -280,7 +280,7 @@ pkgs.lib.makeExtensible
make clean_share_link
make create_share_link
export CONFIGS="equality bitwise symblocs gauges octagon"
- src/plugins/value/vtests -j 4 -error-code
+ src/plugins/value/vtests.sh -j 4 -error-code
'';
installPhase = ''
true
diff --git a/src/plugins/value/vtests b/src/plugins/value/vtests.sh
similarity index 100%
rename from src/plugins/value/vtests
rename to src/plugins/value/vtests.sh
--
GitLab