Simon McVittie d6af73ba68 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>

2023-03-22 15:16:06 +00:00

..

checkout-gnome-shell.sh

tests: Use a more interoperable path to bash

2023-03-22 15:16:06 +00:00

commit-rules.yml

ci: Replace custom commit-log script with ci-fairy

2021-01-11 14:02:58 +01:00

download-coverity-tarball.sh

tests: Use a more interoperable path to bash

2023-03-22 15:16:06 +00:00

install-meson-project.sh

ci: Use backend-agnostic meson command to build

2021-08-22 17:32:12 +00:00