From cffd94aae48dac005d820dd667498bbbb09ab117 Mon Sep 17 00:00:00 2001
From: dimitri staessens <dimitri.staessens@intec.ugent.be>
Date: Mon, 27 Jun 2016 20:40:05 +0200
Subject: build: correct sandboxing

paths cannot start with "/" or PREFIX will be omitted. PREFIX must be
set before the project() call.
---
 compile_debug.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compile_debug.sh')

diff --git a/compile_debug.sh b/compile_debug.sh
index 3ea1e039..484f1076 100755
--- a/compile_debug.sh
+++ b/compile_debug.sh
@@ -6,7 +6,7 @@ if (($# == 1 ))
 then
     PREFIX=`echo "$1"|sed -e "s,\/$,,"`
 else
-    PREFIX="/usr/local/ouroboros"
+    PREFIX="/usr/local/ouroboros/"
 fi
 
 BUILDDIR=build
-- 
cgit v1.2.3