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.
rust-lang · May 31, 2015 · 16b18c5 · 16b18c5
1 parent 8425494
commit 16b18c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/configure b/configure
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 msg() {
  echo "configure: $*"