diff options
| author | Sander Vrijders <[email protected]> | 2016-04-23 09:53:35 +0200 |
|---|---|---|
| committer | Sander Vrijders <[email protected]> | 2016-04-23 09:53:35 +0200 |
| commit | b6dc5ba9576d61d42db82c3da8cb0c039fac7179 (patch) | |
| tree | 0de76147c8a7beb4c23a1931f822113b61c51a5b /install_release.sh | |
| parent | 9687ace9a1faf752672774ae49a6428b378fa409 (diff) | |
| parent | a618984537f7790cd274d097223b4029473044c2 (diff) | |
| download | ouroboros-b6dc5ba9576d61d42db82c3da8cb0c039fac7179.tar.gz ouroboros-b6dc5ba9576d61d42db82c3da8cb0c039fac7179.zip | |
Merge remote-tracking branch 'upstream/be' into be
Diffstat (limited to 'install_release.sh')
| -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 |