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