From 8e4b30b5978cb2b6b666f57dd3ea52bedd994524 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Thu, 16 May 2019 15:42:45 +0200
Subject: [PATCH] Fixing from shell to bash for the script

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

diff --git a/configure b/configure
index 1adbeca60..3b8dba654 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 #                        configure script
 #
 #
-- 
GitLab