1
0
Fork 0

tests: Use a more interoperable path to bash

On systems that have undergone the /usr merge, /bin/bash and
/usr/bin/bash can be used interchangeably, but on systems where /bin and
/usr/bin are separate (such as Debian 11 or older), bash was traditionally
in /bin and there is no bash in /usr/bin.

Resolves: https://gitlab.gnome.org/GNOME/mutter/-/issues/2385
Signed-off-by: Simon McVittie <smcv@debian.org>
Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/2900>
This commit is contained in:
Simon McVittie 2023-03-06 10:32:55 +00:00 committed by Marge Bot
parent 83a6a011d7
commit d6af73ba68
5 changed files with 5 additions and 5 deletions

View file

@ -1,4 +1,4 @@
#!/usr/bin/bash
#!/bin/bash
fetch() {
local remote=$1

View file

@ -1,4 +1,4 @@
#!/usr/bin/bash
#!/bin/bash
# We need a coverity token to fetch the tarball
if [ -x $COVERITY_TOKEN ]

View file

@ -1,4 +1,4 @@
#!/usr/bin/bash
#!/bin/bash
set -e

View file

@ -1,4 +1,4 @@
#!/usr/bin/bash
#!/bin/bash
set -e

View file

@ -1,4 +1,4 @@
#!/usr/bin/bash
#!/bin/bash
set -e