diff --git a/configure b/configure index 20a5fa390f00b..9a7a1c5d60887 100755 --- a/configure +++ b/configure @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash msg() { echo "configure: $*"