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_release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compile_release.sh')

diff --git a/compile_release.sh b/compile_release.sh
index 58a16e52..0b1c1a96 100755
--- a/compile_release.sh
+++ b/compile_release.sh
@@ -6,7 +6,7 @@ if (($# == 1 ))
 then
     PREFIX=`echo "$1"|sed -e "s,\/$,,"`
 else
-    PREFIX=""
+    PREFIX="/"
 fi
 
 BUILDDIR=build
-- 
cgit v1.2.3