Google Git
Sign in
gerrit/plugins/pull-replication/486f74dcca534e924735fe2cf1682af415e56f3f
commit
486f74dcca534e924735fe2cf1682af415e56f3f
[log] [tgz]
author
David Ostrovsky <david@ostrovsky.org>
Thu Apr 27 09:20:15 2023 +0200
committer
David Ostrovsky <david@ostrovsky.org>
Thu Apr 27 09:20:36 2023 +0200
tree
8c02ca45218c4ca27f51724b6877243f195f87dc
parent
ee82d137924c7e44a86fae9259c0f457574e2dd6 [diff]
entrypoint.sh: Fix setting JAVA_OPTS variable

Change-Id: I0773ac637f98488024357e61d7910e31f42540c9
1 file changed
tree: 8c02ca45218c4ca27f51724b6877243f195f87dc
  1. example-setup/
  2. src/
  3. .gitignore
  4. BUILD
  5. external_plugin_deps.bzl
  6. Jenkinsfile
  7. LICENSE