tree 883d3c0d38c79ebf84a6ab7dc302ec50d4610e93
parent 0dc11a8f37e1e8cee70add127940235132d6b5ad
author David Ostrovsky <david@ostrovsky.org> 1527405669 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> 1527892452 +0000

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