From 16b18c54c29d9bd4a50458f28c40fc65719c37a3 Mon Sep 17 00:00:00 2001 From: Steve Klabnik Date: Fri, 29 May 2015 16:03:40 -0400 Subject: [PATCH] Use bash in configure Many *NIXes alias /bin/sh to bash, but not all do, and this is a bash script, not an sh script. --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: $*"