From e2f3669c39d2316c1b75a35408b7359b34188829 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 5 Jul 2022 12:49:38 +0200
Subject: [PATCH] [Script] ./bin/tests.sh - fixes SetEnv
---
bin/test.sh | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
diff --git a/bin/test.sh b/bin/test.sh
index d4e9d078488..6a6e27747fb 100755
--- a/bin/test.sh
+++ b/bin/test.sh
@@ -38,7 +38,6 @@ FRAMAC_WP_CACHE_GIT=git@git.frama-c.com:frama-c/wp-cache.git
function Usage
{
- SetEnv
echo "USAGE"
echo ""
echo "${THIS_SCRIPT} [OPTIONS|TESTS]..."
@@ -136,14 +135,14 @@ function SetEnv
function CloneCache
{
if [ ! -d "$FRAMAC_WP_CACHEDIR" ]; then
- Head "Cloning WP cache..."
+ Head "Cloning WP cache (from $FRAMAC_WP_CACHE_GIT to $FRAMAC_WP_CACHEDIR)..."
Cmd git clone $FRAMAC_WP_CACHE_GIT $FRAMAC_WP_CACHEDIR
fi
}
function PullCache
{
- Head "Pull WP cache..."
+ Head "Pull WP cache (to $FRAMAC_WP_CACHEDIR)..."
Run git -C $FRAMAC_WP_CACHEDIR pull --rebase
}
@@ -282,6 +281,7 @@ function CountTests
# --- Command Line Processing
# --------------------------------------------------------------------------
+SetEnv
while [ "$1" != "" ]
do
case "$1" in
@@ -327,7 +327,5 @@ do
esac
shift
done
-
-SetEnv
RunTests $TESTS
CountTests
--
GitLab