From 9954b64b6aa6936d32a21abaccf511bd4f1606a8 Mon Sep 17 00:00:00 2001
From: Paul Norman <penorman@mac.com>
Date: Sat, 23 May 2015 15:59:52 -0700
Subject: [PATCH] Use sh instead of bash for configure

Not everywhere has bash installed or installs it to /bin/bash

Given that there's no bash-specific features in configure, it makes
sense to just use sh
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 8abbff103..b468f8587 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 PYTHON=${PYTHON:-python}