diff options
| author | ruki <[email protected]> | 2022-12-24 12:30:15 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-12-24 12:30:15 +0800 |
| commit | 00066da7d90d4a67c3832ca433376b3b0e4ab079 (patch) | |
| tree | 42dcd7ccf1090b177213a67b6e746bd5366c1c70 /scripts/get.sh | |
| parent | dce21d90128092eff1a8884191972dff239ff65b (diff) | |
fix get.sh
Diffstat (limited to 'scripts/get.sh')
| -rwxr-xr-x | scripts/get.sh | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index 8a54b5c19..271c311d9 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -187,19 +187,17 @@ else fi # do build -if [ "x$prefix" = "x" ]; then - prefix=~/.local -fi if [ 'x__install_only__' != "x$2" ]; then - if [ "x$prefix" != "x" ]; then - ./configure --prefix="$prefix" || raise "configure failed!" - else + if [ -f "./configure" ]; then ./configure || raise "configure failed!" fi $make -j`nproc` || raise "make failed!" fi # do install +if [ "x$prefix" = "x" ]; then + prefix=~/.local +fi if [ "x$prefix" != "x" ]; then $make install PREFIX="$prefix" || raise "install failed!" else |
