From 2f252a483bf4e74b1660957a69d108c23fb2c88a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guillaume=20Mass=C3=A9?= 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