[fix] install_release: rm no-dbm flag

MLstate · Nov 22, 2012 · 4ec3547 · 4ec3547
1 parent 629e537
commit 4ec3547
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/utils/install_release.sh b/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 -no-dbm
+./configure -prefix $INSTALLDIR -libdir $PREFIX -release
 
 
 TARGETS="distrib"