From 2f252a483bf4e74b1660957a69d108c23fb2c88a Mon Sep 17 00:00:00 2001 From: Guillaume Massé Date: Tue, 11 Oct 2016 11:50:59 +0200 Subject: use usr/bin/env bash since it's more general then /bin/bash --- bin/common | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/common') 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 -- cgit v1.2.3