From e6c236a9db1e7cc6dea9c2f6c3b27708624879fc Mon Sep 17 00:00:00 2001 From: Yan Date: Tue, 11 Oct 2016 20:41:49 -0700 Subject: [PATCH] oops... --- bin/manage-tools | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/manage-tools b/bin/manage-tools index 1b9db41..40615f0 100755 --- a/bin/manage-tools +++ b/bin/manage-tools @@ -265,7 +265,7 @@ case $ACTION in INSTALL_FAILED=$? set -e - if [ "$INSTALL_FAILED" -eq 1 ]; then + if [ "$INSTALL_FAILED" -eq 0 ]; then tool_log "install finished" else tool_log "INSTALL FAILED"