diff options
author | Guillaume Massé <masgui@gmail.com> | 2016-10-11 11:50:59 +0200 |
---|---|---|
committer | Guillaume Massé <masgui@gmail.com> | 2016-10-11 11:50:59 +0200 |
commit | 2f252a483bf4e74b1660957a69d108c23fb2c88a (patch) | |
tree | 908168d0edf0077b99e9bd7cc656787a03198d0e /bin | |
parent | 618cebbec6fd5727b51974fa372ae984c03f9f99 (diff) | |
download | dotty-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-x | bin/common | 2 | ||||
-rwxr-xr-x | bin/dotc | 2 | ||||
-rwxr-xr-x | bin/dotr | 2 |
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 @@ -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 @@ -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 |