Bazel build: append plugin-specific WORKSPACE
Change-Id: I71ab7e432ff0b045881fa51b42016fda9134ce1c
diff --git a/jenkins/gerrit-bazel-build-plugin.sh b/jenkins/gerrit-bazel-build-plugin.sh
index 54b0cbe..8a17b4d 100644
--- a/jenkins/gerrit-bazel-build-plugin.sh
+++ b/jenkins/gerrit-bazel-build-plugin.sh
@@ -4,6 +4,11 @@
rm -rf plugins/{name}
git read-tree -u --prefix=plugins/{name} origin/{branch}
+if [ -f plugins/{name}/WORKSPACE.in_gerrit_tree ]
+then
+ cat plugins/{name}/WORKSPACE.in_gerrit_tree >> WORKSPACE
+fi
+
TARGETS=$(echo "{targets}" | sed -e 's/{{name}}/{name}/g')
. set-java.sh 8