From fb855d09678f4c45dd5cf0cc43dd57efba7953d4 Mon Sep 17 00:00:00 2001
From: mb706 <ma.binder@campus.lmu.de>
Date: Sun, 28 Jan 2018 23:23:00 +0100
Subject: [PATCH 1/2] Trying to fix 'permission denied' error during
 installation

---
 configure | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/configure b/configure
index bb34d4b..9ef9031 100755
--- a/configure
+++ b/configure
@@ -10,6 +10,8 @@ sourcepath=$(dirname "$(readlink -f "$0")")
 cd "$sourcepath"
 
 cd tools
+ls -l
+chmod +x ./searchspaceconvert.py
 ./searchspaceconvert.py
 cd ..
 

From 060e89abbba289d4352bfef8a4bdcdd337dcdc0e Mon Sep 17 00:00:00 2001
From: mb706 <mb706@users.noreply.github.com>
Date: Sun, 28 Jan 2018 23:31:31 +0100
Subject: [PATCH 2/2] Diagnostics

---
 configure | 1 -
 1 file changed, 1 deletion(-)

diff --git a/configure b/configure
index 9ef9031..f7195c5 100755
--- a/configure
+++ b/configure
@@ -11,7 +11,6 @@ cd "$sourcepath"
 
 cd tools
 ls -l
-chmod +x ./searchspaceconvert.py
 ./searchspaceconvert.py
 cd ..