From c5cd5a2d1348bcd1a7f4b3aa50447c0293518aa5 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Thu, 9 Jan 2025 19:26:47 +0100
Subject: [PATCH] trying to fix gitlab-ci variables bug

---
 .gitlab-ci.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c22c528..3b0127a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -51,8 +51,8 @@ why2-core-test:
     - sudo $CONFIGURE # Preparation
     - make install BYPASS_CHECK=true # Install WHY2
     - make test_core # Build WHY2 Test
-    - $GDB $CORE_OUTPUT # Test Lib
-    - $GDB $CORE_APP # Test App
+    - ${GDB} $CORE_OUTPUT # Test Lib
+    - ${GDB} $CORE_APP # Test App
     - $VALGRIND $CORE_OUTPUT # Test Lib by Valgrind
 
 why2-logger-test:
@@ -65,8 +65,8 @@ why2-logger-test:
     - sudo $CONFIGURE # Preparation
     - make install BYPASS_CHECK=true # Install WHY2
     - make test_logger # Build WHY2 Test
-    - $GDB $LOGGER_OUTPUT # Test Lib
-    - $GDB $LOGGER_APP # Test App
+    - ${GDB} $LOGGER_OUTPUT # Test Lib
+    - ${GDB} $LOGGER_APP # Test App
     - $VALGRIND $LOGGER_OUTPUT # Test Lib by Valgrind
 
 why2-project: