From b3bf84b1c11ac66ab0806b2d1a89870bec22a86e Mon Sep 17 00:00:00 2001
From: Sander Vrijders <sander.vrijders@intec.ugent.be>
Date: Tue, 14 Jun 2016 15:09:30 +0200
Subject: build: Change release directory

The release build was being installed sandboxed. Now it is installed
system-wide.
---
 install_release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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