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