diff options
author | Daniel Glassey <wdg@debian.org> | 2015-09-07 11:14:57 +0100 |
---|---|---|
committer | Daniel Glassey <wdg@debian.org> | 2015-09-07 11:14:57 +0100 |
commit | 7b6c8b08e9d29332dcd0a1029e7421334bfb6f61 (patch) | |
tree | dc263ee8b6c923716a8e0fed64756b7af1238dc7 /usrinst.sh | |
parent | 7a00574163029c0c2b649878c95d5acbd083564a (diff) |
Imported Upstream version 1.7.3+dfsg
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 "" |