From 2771a0ef234cefbb0f40a2430386a54e60969341 Mon Sep 17 00:00:00 2001
From: Jose Luis Rivero <jrivero@osrfoundation.org>
Date: Fri, 6 Sep 2024 19:35:56 +0200
Subject: [PATCH] Add the /bin/bash shebang to build.sh (#1177)

Signed-off-by: Jose Luis Rivero <jrivero@osrfoundation.org>
---
 jenkins-scripts/docker/lib/docker_generate_dockerfile.bash | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jenkins-scripts/docker/lib/docker_generate_dockerfile.bash b/jenkins-scripts/docker/lib/docker_generate_dockerfile.bash
index fc3e7c9eb..873f15369 100644
--- a/jenkins-scripts/docker/lib/docker_generate_dockerfile.bash
+++ b/jenkins-scripts/docker/lib/docker_generate_dockerfile.bash
@@ -145,6 +145,7 @@ fi
 
 echo '# BEGIN SECTION: create the Dockerfile'
 cat > Dockerfile << DELIM_DOCKER
+#!/bin/bash
 #######################################################
 # Docker file to run build.sh