From 1116f1238237d7f76eef0aa490c6d4a06141c7a4 Mon Sep 17 00:00:00 2001
From: dimitri staessens <dimitri.staessens@intec.ugent.be>
Date: Sat, 16 Apr 2016 20:52:08 +0200
Subject: build: fixes wrong target for install_release.sh

---
 install_release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install_release.sh b/install_release.sh
index afaee3d5..8884d65a 100755
--- a/install_release.sh
+++ b/install_release.sh
@@ -12,7 +12,7 @@ fi
 BUILDDIR=build
 RELEASEDIR=release
 
-bash compile_debug.sh $PREFIX
+bash compile_release.sh $PREFIX
 
 cd $BUILDDIR/$RELEASEDIR
 make install
-- 
cgit v1.2.3