aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorGuillaume Massé <masgui@gmail.com>2016-10-11 11:50:59 +0200
committerGuillaume Massé <masgui@gmail.com>2016-10-11 11:50:59 +0200
commit2f252a483bf4e74b1660957a69d108c23fb2c88a (patch)
tree908168d0edf0077b99e9bd7cc656787a03198d0e /bin
parent618cebbec6fd5727b51974fa372ae984c03f9f99 (diff)
downloaddotty-2f252a483bf4e74b1660957a69d108c23fb2c88a.tar.gz
dotty-2f252a483bf4e74b1660957a69d108c23fb2c88a.tar.bz2
dotty-2f252a483bf4e74b1660957a69d108c23fb2c88a.zip
use usr/bin/env bash since it's more general then /bin/bash
Diffstat (limited to 'bin')
-rwxr-xr-xbin/common2
-rwxr-xr-xbin/dotc2
-rwxr-xr-xbin/dotr2
3 files changed, 3 insertions, 3 deletions
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