diff options
author | Xavier Ducrohet <xav@google.com> | 2014-10-07 18:34:45 -0700 |
---|---|---|
committer | Xavier Ducrohet <xav@google.com> | 2014-10-07 18:34:45 -0700 |
commit | 901329a858f23002ded81f94910cb719a0f2ce9f (patch) | |
tree | 0e08cc383a84c3e516167973e82f8663854aafe9 /servers | |
parent | f5ffc253a1610585ce0e31589d09ddf9b26a2f27 (diff) | |
download | buildSrc-901329a858f23002ded81f94910cb719a0f2ce9f.tar.gz |
Call dist task on build server.
This lets each module publish artifact on the build server if they
need to.
Change-Id: I0c39370797b42baf898f58edef7ad6c91b54bf32
Diffstat (limited to 'servers')
-rwxr-xr-x | servers/build_tools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/servers/build_tools.sh b/servers/build_tools.sh index b897f51..6195d77 100755 --- a/servers/build_tools.sh +++ b/servers/build_tools.sh @@ -42,7 +42,7 @@ then popd fi -TARGET="makeSdk" +TARGET="dist makeSdk" if [[ $CURRENT_OS == "linux" ]]; then TARGET="$TARGET makeWinSdk" fi |