diff options
author | 2016-06-15 22:57:21 -0700 | |
---|---|---|
committer | 2016-06-15 22:57:21 -0700 | |
commit | b9e927afcc689edaa5c02613a69fd9ceb944ec5b (patch) | |
tree | 338945681c588bbce751c82575ceb9b8f9466d59 /tools/run_tests/sanity/sanity_tests.yaml | |
parent | 20bf126da605e3c765ddc494ce92de3a7ff32795 (diff) | |
parent | fa9b7c1bc6488be17d18007f45c57dac39ea5b79 (diff) |
Merge branch 'master' into wheezy
Diffstat (limited to 'tools/run_tests/sanity/sanity_tests.yaml')
-rw-r--r-- | tools/run_tests/sanity/sanity_tests.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/run_tests/sanity/sanity_tests.yaml b/tools/run_tests/sanity/sanity_tests.yaml index c5945c602f..e699c5194d 100644 --- a/tools/run_tests/sanity/sanity_tests.yaml +++ b/tools/run_tests/sanity/sanity_tests.yaml @@ -11,3 +11,4 @@ - script: tools/distrib/check_nanopb_output.sh - script: tools/distrib/check_include_guards.py - script: tools/distrib/python/check_grpcio_tools.py +- script: tools/distrib/check_generated_pb_files.sh |