From 9a6937307d03343ed8c647abdefda9585597939a Mon Sep 17 00:00:00 2001
From: Lephenixnoir <sebastien.mld@numericable.fr>
Date: Wed, 19 Jun 2019 14:17:10 -0400
Subject: [PATCH] use the proper shebang for bash

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

diff --git a/configure b/configure
index 1639933..d7cf99c 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#! /usr/bin/bash
+#! /bin/bash
 
 usage() {
   echo "usage: $0 --platform=<platform> [options...]"