From 2f252a483bf4e74b1660957a69d108c23fb2c88a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guillaume=20Mass=C3=A9?= <masgui@gmail.com>
Date: Tue, 11 Oct 2016 11:50:59 +0200
Subject: [PATCH] use usr/bin/env bash since it's more general then /bin/bash

---
 bin/common | 2 +-
 bin/dotc   | 2 +-
 bin/dotr   | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/bin/common b/bin/common
index 92e4dcdb35be..8f46773302ff 100755
--- a/bin/common
+++ b/bin/common
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Finds in dotty build file a line containing PATTERN
 # returns last "" escaped string in this line
diff --git a/bin/dotc b/bin/dotc
index 3a988a897498..3f529194c3af 100755
--- a/bin/dotc
+++ b/bin/dotc
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 # This script is used for running compiler standalone(outside of sbt)
 # it's based on miniboxing script and paulp's launcher script
 
diff --git a/bin/dotr b/bin/dotr
index 8905afd11dd7..8a495e780fa1 100755
--- a/bin/dotr
+++ b/bin/dotr
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Try to autodetect real location of the script
 DOTTY_ROOT="$(readlink "$0")"              #  relative, symbolic links resolved