Use correct bash binary in Makefile

This commit is contained in:
Denis Isidoro 2021-08-07 15:46:07 -03:00 committed by GitHub
parent 02fc83991b
commit 425ce80530
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 6 additions and 4 deletions

View file

@ -4,6 +4,4 @@ set -euo pipefail
export NAVI_HOME="$(cd "$(dirname "$0")/.." && pwd)"
source "${NAVI_HOME}/scripts/install"
export PATH="/usr/local/opt/bash/bin/:${PATH}"
"${NAVI_HOME}/tests/run"