diff options
| -rwxr-xr-x | install_release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |