diff --git a/scripts/build.sh b/scripts/build.sh index 01d6025cd..2553f5b6f 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. diff --git a/scripts/dist.sh b/scripts/dist.sh index fdd531dce..00038e3ac 100755 --- a/scripts/dist.sh +++ b/scripts/dist.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e # Get the version from the command line diff --git a/scripts/website_push.sh b/scripts/website_push.sh index fafcbd70c..03017e87a 100755 --- a/scripts/website_push.sh +++ b/scripts/website_push.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Get the parent directory of where this script is. SOURCE="${BASH_SOURCE[0]}"