From aba29c2ed3bcedb6e26d5906ef4255f9f0abfa2e Mon Sep 17 00:00:00 2001
From: Aaron Bieber <aaron@bolddaemon.com>
Date: Thu, 5 Mar 2015 15:08:09 -0700
Subject: [PATCH] remove hard path to bash

---
 build.sh   | 2 +-
 install.sh | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/build.sh b/build.sh
index f18485330c..0ff2f26017 100755
--- a/build.sh
+++ b/build.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 if test "$OS" = "Windows_NT"
 then
   # use .Net
diff --git a/install.sh b/install.sh
index fa5dda4256..42a1483a9c 100755
--- a/install.sh
+++ b/install.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 if [ "$(id -u)" != "0" ]; then
   echo "This local installation of Paket requires root privileges. Please run script as root (i.e. using 'sudo')." 1>&2
@@ -33,7 +33,7 @@ done
 rm -rf $BIN/paket
 
 cat >> $BIN/paket <<EOF
-#!/bin/bash
+#!/usr/bin/env bash
 exec mono $LIB/paket/paket.exe "\$@"
 EOF