Skip to content

make env.sh work with both bash and zsh

Sebastien Wertz requested to merge swertz/amc13:fix-zsh into master

In env.sh, BASH_SOURCE is only defined in bash, not zsh. This change makes the setup script work with both bash (unchanged behaviour), and uses another expression for zsh whenever BASH_SOURCE is not defined.

Merge request reports