diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/get2.sh | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/scripts/get2.sh b/scripts/get2.sh index e72d59782..6d75bc119 100755 --- a/scripts/get2.sh +++ b/scripts/get2.sh @@ -186,23 +186,21 @@ else fi fi -# do configure -if [ "$prefix" = "" ]; then +# do build +if [ "x$prefix" = "x" ]; then prefix=~/.local fi -if [ "x$prefix" != x ]; then - ./configure --prefix="$prefix" || raise "configure failed!" -else - ./configure || raise "configure failed!" -fi - -# do build if [ 'x__install_only__' != "x$2" ]; then + if [ "x$prefix" != "x" ]; then + ./configure --prefix="$prefix" || raise "configure failed!" + else + ./configure || raise "configure failed!" + fi $make || raise "make failed!" fi # do install -if [ "x$prefix" != x ]; then +if [ "x$prefix" != "x" ]; then $make install || raise "install failed!" else $sudoprefix $make install || raise "install failed!" |