From ac462d2ef1bc7834b7f3a78ac7d0de73efcb14b7 Mon Sep 17 00:00:00 2001
From: Jeff Zellner <jeffz@eml.cc>
Date: Tue, 30 Jun 2015 11:52:11 -0600
Subject: [PATCH] use /usr/bin/env bash

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

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]}"