From 438a728a323fa73bc1067c1b6df5daa0654384df Mon Sep 17 00:00:00 2001 From: ruki Date: Thu, 22 Dec 2022 23:01:29 +0800 Subject: improve get2.sh and update --- scripts/get2.sh | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) (limited to 'scripts') 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!" -- cgit v1.3.1