From c99134eb3117d4dc249588adddc5816158d6f655 Mon Sep 17 00:00:00 2001
From: Jonah Graham <jonah@kichwacoders.com>
Date: Wed, 26 Oct 2022 10:48:53 -0400
Subject: [PATCH] Use correct version of GDB on Jenkins

In 56ee2c3bb1b2a526545dad6ee6a979b9b61c1f1f I got github actions
working by using default GDB on GHA, but on Jenkins we should
continue to use CDT's pre-built version of GDB.

Part of #117
---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 76a110f5fec..f2f66aa8776 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -34,6 +34,8 @@ pipeline {
                       -Dindexer.timeout=300 \
                       -P production \
                       -P build-standalone-debugger-rcp \
+                      -Ddsf.gdb.tests.gdbPath=/shared/common/gdb/gdb-all/bin \
+                      -Dcdt.tests.dsf.gdb.versions=gdb.10,gdbserver.10 \
                       -Dmaven.repo.local=/home/jenkins/.m2/repository \
                       --settings /home/jenkins/.m2/settings.xml \
                       "