From f2cfb848d4d355bbf0a8ba890ae2b0c9fd7f901e Mon Sep 17 00:00:00 2001 From: "Salvador E. Tropea" Date: Fri, 24 Feb 2023 11:40:25 -0300 Subject: [PATCH] [Tests] Force bash instead of dash for the g1*.sh scripts --- g1.sh | 2 +- g2.sh | 2 +- g3.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/g1.sh b/g1.sh index ede2f0a9..497e4381 100755 --- a/g1.sh +++ b/g1.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash if [ $KI_RELEASE == "nightly" ]; then export KIAUS_USE_NIGHTLY="7.0" fi diff --git a/g2.sh b/g2.sh index 0238d41b..346d843f 100755 --- a/g2.sh +++ b/g2.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash if [ $KI_RELEASE == "nightly" ]; then export KIAUS_USE_NIGHTLY="7.0" fi diff --git a/g3.sh b/g3.sh index cb9bc959..ca28067d 100755 --- a/g3.sh +++ b/g3.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash if [ $KI_RELEASE == "nightly" ]; then export KIAUS_USE_NIGHTLY="7.0" fi