diff options
author | Matt Kwong <mattkwong@google.com> | 2017-05-19 15:22:19 -0700 |
---|---|---|
committer | Matt Kwong <mattkwong@google.com> | 2017-06-09 08:21:10 -0700 |
commit | 68309b42d50ee71b358130793ede96b4725d02b0 (patch) | |
tree | 5f43832221031a0665f3008362ea5bcf79c9f800 /tools/jenkins | |
parent | 18528f28f3600123e356e9367e462fab96081d77 (diff) |
Add test to check if bazel subdirectory was modified
Diffstat (limited to 'tools/jenkins')
-rwxr-xr-x | tools/jenkins/run_bazel_full.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/jenkins/run_bazel_full.sh b/tools/jenkins/run_bazel_full.sh index 3436a8f8b6..edde1bc545 100755 --- a/tools/jenkins/run_bazel_full.sh +++ b/tools/jenkins/run_bazel_full.sh @@ -20,4 +20,6 @@ set -ex -o igncr || set -ex export DOCKERFILE_DIR=tools/dockerfile/test/bazel export DOCKER_RUN_SCRIPT=tools/jenkins/run_bazel_full_in_docker.sh +# Warn PR author if they make a change to the bazel directory +tools/run_tests/python_utils/check_bazel_dir.py exec tools/run_tests/dockerize/build_and_run_docker.sh |