diff options
| author | ruki <[email protected]> | 2017-05-17 11:51:34 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2017-05-17 11:51:34 +0800 |
| commit | cfb1dd7f7b3ece03825c686651c2f88ac65b33d5 (patch) | |
| tree | 5f25b6568f076d9b21120865934c8ef656e86cae /scripts | |
| parent | beb2fe1f4981307bf75a1552acd744771ad750d8 (diff) | |
parse program version
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/get.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index 6279cfdd3..895147b6a 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -87,10 +87,11 @@ fi if [ 'x__install_only__' != "x$2" ] then make -C /tmp/$$xmake_getter --no-print-directory build - if [ $? -ne 0 ] + rv=$? + if [ $rv -ne 0 ] then make -C /tmp/$$xmake_getter/core --no-print-directory error - my_exit 'Build Fail' + my_exit 'Build Fail' $rv fi fi PATHclone=$PATH |