From 38612d45a923c6f276524cfe6d8164668b79edf5 Mon Sep 17 00:00:00 2001
From: Rickard von Essen <rickard.von.essen@gmail.com>
Date: Wed, 4 Nov 2015 15:29:26 +0100
Subject: [PATCH] Make all scripts portable regardless of where bash is
 installed.

---
 scripts/build.sh        | 2 +-
 scripts/dist.sh         | 2 +-
 scripts/upload.sh       | 2 +-
 scripts/website_push.sh | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

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