diff options
Diffstat (limited to 'eclipse')
| -rwxr-xr-x | eclipse/scripts/build_server.sh | 8 | 
1 files changed, 8 insertions, 0 deletions
| diff --git a/eclipse/scripts/build_server.sh b/eclipse/scripts/build_server.sh index 54deaa6..46947ed 100755 --- a/eclipse/scripts/build_server.sh +++ b/eclipse/scripts/build_server.sh @@ -16,6 +16,14 @@  # Note: currently wrap around existing shell script, reuse most of it,  # eventually both might merge as needed. + +################### +# temporary disable to deal with build server issues +# see b/14685861 +exit 0 +################### + +  set -e  # Fail this script as soon as a command fails -- fail early, fail fast  PROG_DIR=$(dirname "$0") | 
