From 6ba793a553cb43bffb6d39de331ebe5a9297f684 Mon Sep 17 00:00:00 2001
From: Dmitry Marakasov <amdmi3@amdmi3.ru>
Date: Fri, 2 Oct 2015 22:00:35 +0300
Subject: [PATCH] Switch to sh interpreter

Thiere is nothing in this script which requires bash, and bash
is not available everywhere by default
---
 configure.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.sh b/configure.sh
index 5f4f0a8065..fc64c1b632 100755
--- a/configure.sh
+++ b/configure.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 # Please run this script to configure the repository after cloning it.
 
 # Stop on the first error.