1 files changed, 0 insertions, 16 deletions
diff --git a/install_release.sh b/install_release.sh
deleted file mode 100755
index fa6fe675..00000000
--- a/install_release.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/usr/bin/env bash
-
-if (($# == 1 ))
-then
-    PREFIX=${1/%\//}
-else
-    PREFIX=""
-fi
-
-BUILDDIR=build
-RELEASEDIR=release
-
-bash compile_release.sh "$PREFIX"
-
-cd $BUILDDIR/$RELEASEDIR || exit 1
-make install