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/dotc | |
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/dotc')
-rwxr-xr-x | bin/dotc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |