Permalink
Browse files

[fix] release: Reenable the build before making the release

  • Loading branch information...
1 parent 79ec904 commit de9d1b8b76ea0fd46b8d82228a7f5253a807802b Quentin Bourgerie committed Apr 16, 2013
Showing with 3 additions and 3 deletions.
  1. +3 −3 tools/utils/install_release.sh
@@ -204,7 +204,7 @@ SRCDIR=$OPALANG
OPABOOK=$OPALANG/doc/book # the tutorial and book
# This is absolutely correct that the 2 variables are inversed, we should fix the value inside
-#./configure -prefix $INSTALLDIR -libdir $PREFIX -release
+./configure -prefix $INSTALLDIR -libdir $PREFIX -release
TARGETS="distrib"
@@ -213,9 +213,9 @@ if [ $NOMAN = "false" ]; then
fi
if [ $NOOCAML = "false" ]; then
- make install
+ make clean $TARGETS install
else
- make install-node
+ make clean $TARGETS install-node
fi
mkdir -p $INSTALLDIR/share/opa/

0 comments on commit de9d1b8

Please sign in to comment.