diff options
| author | ruki <[email protected]> | 2022-12-22 22:51:47 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-12-22 22:51:47 +0800 |
| commit | 853132f7d40c5adf0f236cb125d14e5cbd7a02f9 (patch) | |
| tree | 9e17382c4e4fe8d95a745d0dc3571d226124c1a6 /scripts | |
| parent | c0729460fcc18ca3602252199ccc7b4603566722 (diff) | |
| parent | e333e670ab5fc0fd6293be80cbf8659e7f2ff10d (diff) | |
Merge pull request #3180 from xmake-io/xmake.sh
switch xmake.sh on ci
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/get2.sh | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/scripts/get2.sh b/scripts/get2.sh index e72d59782..5c48741dc 100755 --- a/scripts/get2.sh +++ b/scripts/get2.sh @@ -186,24 +186,22 @@ 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 - $make install || raise "install failed!" +if [ "x$prefix" != "x" ]; then + $make install PREFIX="$prefix" || raise "install failed!" else $sudoprefix $make install || raise "install failed!" fi |