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