From f4100f31c825a04c84eb933bd72bbeca65110a12 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 8 Mar 2024 17:52:15 +0100
Subject: [PATCH] [CI] allow ci.sh to use a local Frama-CI repo
---
nix/ci.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/ci.sh b/nix/ci.sh
index 0fedfc35..858e3420 100755
--- a/nix/ci.sh
+++ b/nix/ci.sh
@@ -36,7 +36,7 @@ trap cleanup EXIT
mkdir -p $TMP_DIR/frama-ci
frama_ci_repo="$(readlink -f $TMP_DIR/frama-ci)"
-frama_ci_url="git@git.frama-c.com:frama-c/Frama-CI.git"
+frama_ci_url=${FRAMA_CI_LOCAL:-"git@git.frama-c.com:frama-c/Frama-CI.git"}
frama_ci_branch="$(get_matching_branch "$frama_ci_url")"
echo "using branch $frama_ci_branch of Frama-CI repo at $frama_ci_repo"
git clone --depth=1 --branch="$frama_ci_branch" "$frama_ci_url" "$frama_ci_repo"
--
GitLab