diff options
| author | Fabian Meumertzheim <meumertzheim@code-intelligence.com> | 2023-05-31 13:17:10 +0200 |
|---|---|---|
| committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2023-05-31 13:51:24 +0200 |
| commit | e64d00cfb5bc78e162382e4fbfba0c82026ef554 (patch) | |
| tree | 6911c1e486629e3502ad344f62e180e29e03a53d | |
| parent | 9f7f6c95fd2dbdb10c0ce3a8718eee4162800311 (diff) | |
| download | jazzer-api-e64d00cfb5bc78e162382e4fbfba0c82026ef554.tar.gz | |
deploy: Fix label of MavenPublisher
We are (ab)using an internal tool provided by `rules_jvm_external` and
its label changed.
| -rwxr-xr-x | deploy/deploy.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deploy/deploy.sh b/deploy/deploy.sh index a33b42e4..edf8b407 100755 --- a/deploy/deploy.sh +++ b/deploy/deploy.sh @@ -46,7 +46,7 @@ JAZZER_POM_PATH=$PWD/$(bazel cquery --output=files //deploy:jazzer-pom) bazel run --define "maven_repo=${MAVEN_REPO}" --define "maven_user=${MAVEN_USER}" \ --define "maven_password=${MAVEN_PASSWORD}" --define gpg_sign=true \ //deploy:jazzer-api.publish -bazel run @rules_jvm_external//private/tools/java/rules/jvm/external/maven:MavenPublisher -- \ +bazel run @rules_jvm_external//private/tools/java/com/github/bazelbuild/rules_jvm_external/maven:MavenPublisher -- \ "$MAVEN_REPO" true "$MAVEN_USER" "$MAVEN_PASSWORD" "$JAZZER_COORDINATES" \ "$JAZZER_POM_PATH" "$JAZZER_JAR_PATH" "$JAZZER_SOURCES_PATH" "$JAZZER_DOCS_PATH" bazel run --define "maven_repo=${MAVEN_REPO}" --define "maven_user=${MAVEN_USER}" \ |