diff --git a/scripts/build.sh b/scripts/build.sh index dcd9bd7c8..2b5048ecb 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # This script builds the application from source for multiple platforms. set -e diff --git a/scripts/dist.sh b/scripts/dist.sh index 9533ef285..ba5e1b2c0 100755 --- a/scripts/dist.sh +++ b/scripts/dist.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e # Get the parent directory of where this script is. diff --git a/scripts/upload.sh b/scripts/upload.sh index 9854a3b0e..284724bab 100755 --- a/scripts/upload.sh +++ b/scripts/upload.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e # Get the parent directory of where this script is. diff --git a/scripts/website_push.sh b/scripts/website_push.sh index 95168f977..a51c9c9b1 100755 --- a/scripts/website_push.sh +++ b/scripts/website_push.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Set the tmpdir if [ -z "$TMPDIR" ]; then