Tests fail on MacOS

[Blaisorblade]

Very low priority — I don't know that this matters, but I noticed in coq/coq#15880.

Many tests fail with bash syntax errors. Maybe because the run-example-XX scripts use /bin/bash as shebang instead of /usr/bin/env bash — but after fixing this in run-example-00.sh, tests fail with further errors.

Original error

Failing test logs:
example_00_result.log:
$ . /Users/pgiarrusso1/git-bedrock/coq/_build_ci/coq_tools/examples/disable-parallel-make.sh
$$ export MAKEFLAGS=
$$ MAKEFLAGS=
./run-example-00.sh: line 125: unexpected EOF while looking for matching `"'
./run-example-00.sh: line 129: syntax error: unexpected end of file

[JasonGross]

This particular error is a bug that was fixed ~15 years ago in Bash 4.0, cf https://unix.stackexchange.com/a/783611/45323, although there are further issues (such as with /tmp)

[JasonGross]

I don't have the time to fix these issues currently, but I'd be happy with a PR that fixes them