diff options
author | Wes Haggard <Wes.Haggard@microsoft.com> | 2017-10-24 02:12:58 +0300 |
---|---|---|
committer | Wes Haggard <Wes.Haggard@microsoft.com> | 2017-10-25 18:49:47 +0300 |
commit | a05d99a5851977ddb006aee1c10d2ef427d16697 (patch) | |
tree | b83b9b089796fd33cd088626ea1efcab8d67168a /init-tools.sh | |
parent | 8f431835d29b80e761436d8c292ffa0af0df1220 (diff) |
Fix file casing in project file
Diffstat (limited to 'init-tools.sh')
-rwxr-xr-x | init-tools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/init-tools.sh b/init-tools.sh index 34deeb13ac..7a048249e9 100755 --- a/init-tools.sh +++ b/init-tools.sh @@ -16,7 +16,7 @@ __BUILD_TOOLS_SEMAPHORE=$__TOOLRUNTIME_DIR/$__BUILD_TOOLS_PACKAGE_VERSION/init-t if [ -e $__BUILD_TOOLS_SEMAPHORE ]; then echo "Tools are already initialized" - exit 0 + return #return instead of exit because this script is inlined in other scripts which we don't want to exit fi if [ -e $__TOOLRUNTIME_DIR ]; then rm -rf -- $__TOOLRUNTIME_DIR; fi |