summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorruki <[email protected]>2022-12-24 12:30:15 +0800
committerruki <[email protected]>2022-12-24 12:30:15 +0800
commit00066da7d90d4a67c3832ca433376b3b0e4ab079 (patch)
tree42dcd7ccf1090b177213a67b6e746bd5366c1c70 /scripts
parentdce21d90128092eff1a8884191972dff239ff65b (diff)
fix get.sh
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/get.sh10
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