Avoid common shell scripting pitfalls
Avoid common shell scripting pitfalls

- Get bash from $PATH instead of reading it from /bin/bash (useful for e.g. NixOS)
- set -euo pipefail: "strict bash mode"
- Quote all paths to be whitespace compatible
- GHC uses --make mode automatically

bgamari/shaking-up-ghc,snowleopard/hadrian,sdiehl/ghc,sdiehl/ghc,izgzhen/hadrian,sdiehl/ghc,sdiehl/ghc,quchen/shaking-up-ghc,sdiehl/ghc,snowleopard/shaking-up-ghc,sdiehl/ghc,sdiehl/ghc