From 4b323ade16e0d0b90f7f4746eb2745b98f3affbe Mon Sep 17 00:00:00 2001
From: Jose Luis Rivero <jrivero@osrfoundation.org>
Date: Wed, 15 May 2024 18:22:05 +0200
Subject: [PATCH] Missing script for -ci- jobs on Linux

Signed-off-by: Jose Luis Rivero <jrivero@osrfoundation.org>
---
 jenkins-scripts/dsl/gazebo_libs.dsl | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/jenkins-scripts/dsl/gazebo_libs.dsl b/jenkins-scripts/dsl/gazebo_libs.dsl
index d80914f82..c5d33296f 100644
--- a/jenkins-scripts/dsl/gazebo_libs.dsl
+++ b/jenkins-scripts/dsl/gazebo_libs.dsl
@@ -436,6 +436,24 @@ branch_index.each { lib_name, distro_configs ->
                                              ENABLE_CPPCHECK,
                                              branch_names)
         generate_label_by_requirements(gz_ci_any_job, lib_name, ci_config.requirements)
+        gz_ci_any_job.with
+        {
+          steps
+          {
+             shell("""\
+                  #!/bin/bash -xe
+
+                  export DISTRO=${distro}
+
+                  ${GLOBAL_SHELL_CMD}
+                  ${extra_cmd}
+
+                  export BUILDING_SOFTWARE_DIRECTORY=${lib_name}
+                  export ARCH=${arch}
+                  /bin/bash -xe ./scripts/jenkins-scripts/docker/${script_name_prefix}-compilation.bash
+                  """.stripIndent())
+          } // end of steps
+        } // end of ci_any_job
       } else if (ci_config.system.so == 'darwin') {
         // --------------------------------------------------------------
         def gz_brew_ci_any_job_name = "${gz_job_name_prefix}-ci-pr_any-homebrew-amd64"