commit 2156f01aa62824905de843c8e8373aaebfe30ee1
author David Ostrovsky <david@ostrovsky.org> Sun May 27 09:21:09 2018 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> Fri Jun 01 22:34:12 2018 +0000
tree 883d3c0d38c79ebf84a6ab7dc302ec50d4610e93
parent 0dc11a8f37e1e8cee70add127940235132d6b5ad

gerrit-bazel-build: Verify eclipse project generation

Verify eclipse project generation during the build. This would prevent
unnoticed breakages in the area in the future.

Change-Id: I4979fbf0a2c9b3dd4e5a2338fafa308799ba208e

jenkins/gerrit-bazel-build.sh

diff --git a/jenkins/gerrit-bazel-build.sh b/jenkins/gerrit-bazel-build.sh
index 3fcb13e..863fd1d 100644
--- a/jenkins/gerrit-bazel-build.sh
+++ b/jenkins/gerrit-bazel-build.sh
@@ -6,3 +6,4 @@
 export BAZEL_OPTS="--spawn_strategy=standalone --genrule_strategy=standalone"
 
 bazel build $BAZEL_OPTS plugins:core release api
+tools/eclipse/project.py