From 2f252a483bf4e74b1660957a69d108c23fb2c88a Mon Sep 17 00:00:00 2001
From: Guillaume Massé <masgui@gmail.com>
Date: Tue, 11 Oct 2016 11:50:59 +0200
Subject: 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(-)

(limited to 'bin')

diff --git a/bin/common b/bin/common
index 92e4dcdb3..8f4677330 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 3a988a897..3f529194c 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 8905afd11..8a495e780 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
-- 
cgit v1.2.3