diff options
| author | ruki <[email protected]> | 2023-03-03 22:56:59 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2023-03-03 22:56:59 +0800 |
| commit | 35a4cff31c0090e75b04ad1ef41a1c517b3c45ae (patch) | |
| tree | ce9b0a67e49169c4536c9767b2547b1064baf606 | |
| parent | f3f1a248578819b5876630c62996078bc36b4744 (diff) | |
improve get.sh
| -rwxr-xr-x | scripts/get.sh | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index d12c67686..21c97db87 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -242,9 +242,6 @@ fi # export XMAKE_ROOTDIR="$prefix/bin" export PATH="$XMAKE_ROOTDIR:$PATH" +xmake --version xmake update --integrate -if xmake --version >/dev/null 2>&1; then xmake --version; else - source ~/.xmake/profile - xmake --version -fi |
