diff options
Diffstat (limited to 'usrinst.sh')
| -rwxr-xr-x | usrinst.sh | 11 |
1 files changed, 5 insertions, 6 deletions
@@ -3,7 +3,7 @@ # usrinst.sh - Convenience script specifying most common development options # to ./configure # -# $Id: usrinst.sh 2986 2013-10-05 12:32:49Z scribe $ +# $Id: usrinst.sh 3164 2014-04-17 04:06:51Z greg.hellings $ # # Copyright 2002-2013 CrossWire Bible Society (http://www.crosswire.org) # CrossWire Bible Society @@ -31,7 +31,7 @@ fi OPTIONS="--sysconfdir=/etc $OPTIONS" OPTIONS="--without-conf $OPTIONS" OPTIONS="--disable-shared $OPTIONS" -#OPTIONS="--enable-debug $OPTIONS" +OPTIONS="--enable-debug $OPTIONS" #OPTIONS="--enable-profile $OPTIONS" #OPTIONS="--with-cxx11regex $OPTIONS" @@ -61,10 +61,9 @@ echo "" echo "Next you might try something like: " echo "" echo "make" -echo "su" -echo "make install" -echo "(and optionally)" -echo "make install_config" +echo "sudo make install" +echo "# (and optionally)" +echo "sudo make install_config" echo "make register" echo "" echo "" |