diff options
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 |