From b18c91d48bc73885ef4fa9bdc882993e6ae82983 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Tue, 22 Nov 2016 20:31:09 +0000 Subject: [PATCH] integrate-distro.sh fix: Execution stopped with missing execute permissions Signed-off-by: Jan Lindemann --- scripts/integrate-distro.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/integrate-distro.sh b/scripts/integrate-distro.sh index b6af081e..152ac5a1 100644 --- a/scripts/integrate-distro.sh +++ b/scripts/integrate-distro.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # -- defaults # install_dev=/dev/sdb @@ -1456,7 +1456,7 @@ if [ `whoami` != root -o "$l32" ]; then opts="" [ "$config_file" ] && opts="$opts --config-file $config_file" #debug="/bin/bash -x" - ssh -l root localhost $l32 $debug $exe $@ -p $root_password_file -u $scm_user -w $cwd $opt_ssh_auth_sock -P "$PATH" $opts + ssh -l root localhost $l32 $debug /bin/bash $exe $@ -p $root_password_file -u $scm_user -w $cwd $opt_ssh_auth_sock -P "$PATH" $opts exit $? fi