From 90ac513be1f7679f406c0103721a9efce9dda85c Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Thu, 9 Jan 2025 19:32:26 +0100
Subject: [PATCH] replaced GDB variable with duplicate code in gitlab-ci

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3b0127a..e087338 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -22,7 +22,6 @@ variables:
   LOGGER_OUTPUT: "./out/why2-logger-test"
   LOGGER_APP: "why2-logger"
   VALGRIND: "valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s"
-  GDB: "gdb -ex \"run\" -ex \"quit\" --batch"
   CONFIGURE: "./configure.sh"
   NEEDED_STUFF: "sudo lsb-release gdb"
 
@@ -51,8 +50,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 -ex "run" -ex "quit" --batch $CORE_OUTPUT # Test Lib
+    - gdb -ex "run" -ex "quit" --batch $CORE_APP # Test App
     - $VALGRIND $CORE_OUTPUT # Test Lib by Valgrind
 
 why2-logger-test:
@@ -65,8 +64,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 -ex "run" -ex "quit" --batch $LOGGER_OUTPUT # Test Lib
+    - gdb -ex "run" -ex "quit" --batch $LOGGER_APP # Test App
     - $VALGRIND $LOGGER_OUTPUT # Test Lib by Valgrind
 
 why2-project: