From 6731ffe6a6cc85f2d7bd7a189aeea6b0783d3d35 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 5 Dec 2022 22:18:41 +0100
Subject: [PATCH] ci: another try to fix it

---
 salut/test/Makefile.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/salut/test/Makefile.inc b/salut/test/Makefile.inc
index d7143089..1b944033 100644
--- a/salut/test/Makefile.inc
+++ b/salut/test/Makefile.inc
@@ -35,7 +35,7 @@ LIB=-package algo
 OCAMLOPT=ocamlfind ocamlopt -bin-annot
 
 
-ROOTDIR=$(shell git rev-parse --show-toplevel || echo "../..")
+ROOTDIR=$(shell git rev-parse --show-toplevel || echo $(CI_PROJECT_DIR))
 LIB_LUS=$(ROOTDIR)/test/lustre/round.lus $(ROOTDIR)/salut/lib/sas.lus
 RUN_KIND2=$(ROOTDIR)/salut/test/run-kind2.sh
 
-- 
GitLab