From bde42fc4c1bcd7183e9d70f88c22cf30e21f42d8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mattias=20Andr=C3=A9e?= <maandree@operamail.com>
Date: Sun, 26 Aug 2012 07:11:53 +0200
Subject: [PATCH] sh instead of bash in configure

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index bf685494..00598d59 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 
 
 function makeMakefile()