diff options
| author | ruki <[email protected]> | 2022-12-22 23:01:29 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-12-22 23:01:29 +0800 |
| commit | 438a728a323fa73bc1067c1b6df5daa0654384df (patch) | |
| tree | acce07357c7b6e6234eddcef0b2de35d9ca6e279 /scripts | |
| parent | 2080455f5e38f96c43a036bbbe0515b3a0da5bad (diff) | |
improve get2.sh and update
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!" |
