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
download-coverity-tarball.sh	tests: Use a more interoperable path to bash	2023-03-22 15:16:06 +00:00
install-meson-project.sh