From 80765f1d6ea16892224be8da954e5b0a4c53303b Mon Sep 17 00:00:00 2001
From: Sander Vrijders <sander.vrijders@intec.ugent.be>
Date: Mon, 27 Jun 2016 12:03:31 +0200
Subject: build: Fix installation prefix

The installation prefix was taking a trailing backslash, while it is
common not to do so. Fixed it so that any trailing backslash is
removed by the compilation and installation scripts.
---
 install_debug.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'install_debug.sh')

diff --git a/install_debug.sh b/install_debug.sh
index abb5c1c9..10e50706 100755
--- a/install_debug.sh
+++ b/install_debug.sh
@@ -4,7 +4,7 @@ ME=install_debug
 
 if (($# == 1 ))
 then
-    PREFIX=$1
+    PREFIX=`echo "$1"|sed -e "s,\/$,,"`
 else
     PREFIX="/usr/local/ouroboros/"
 fi
-- 
cgit v1.2.3