diff --git a/.gitlab-ci/checkout-gnome-shell.sh b/.gitlab-ci/checkout-gnome-shell.sh index e4bb9c45c..4e086da48 100755 --- a/.gitlab-ci/checkout-gnome-shell.sh +++ b/.gitlab-ci/checkout-gnome-shell.sh @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/bin/bash fetch() { local remote=$1 diff --git a/.gitlab-ci/download-coverity-tarball.sh b/.gitlab-ci/download-coverity-tarball.sh index ca875c940..182363ccf 100755 --- a/.gitlab-ci/download-coverity-tarball.sh +++ b/.gitlab-ci/download-coverity-tarball.sh @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/bin/bash # We need a coverity token to fetch the tarball if [ -x $COVERITY_TOKEN ] diff --git a/src/tests/kvm/run-kvm-test.sh b/src/tests/kvm/run-kvm-test.sh index ff94a6843..4213ef9e8 100755 --- a/src/tests/kvm/run-kvm-test.sh +++ b/src/tests/kvm/run-kvm-test.sh @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/bin/bash set -e diff --git a/src/tests/kvm/virtme-run.sh b/src/tests/kvm/virtme-run.sh index 836b38353..d07965494 100755 --- a/src/tests/kvm/virtme-run.sh +++ b/src/tests/kvm/virtme-run.sh @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/bin/bash set -e diff --git a/src/tests/x11-test.sh b/src/tests/x11-test.sh index 376a01961..59e460fc3 100755 --- a/src/tests/x11-test.sh +++ b/src/tests/x11-test.sh @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/bin/bash set -e