diff options
author | Android Build Coastguard Worker <android-build-coastguard-worker@google.com> | 2022-09-29 07:55:17 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2022-09-29 07:55:17 +0000 |
commit | 3466d438c845072159f3232d36e113cd12e69c01 (patch) | |
tree | e29cd62385ee42135c782962be52e44098675180 | |
parent | 03d4e62eb72979abcd1b3dadcd81448c5be1d483 (diff) | |
parent | 40ea63c31b8e5dab1f7f225d0adff32b01d60352 (diff) | |
download | jdiff-gki13-boot-release.tar.gz |
Merge "Snap for 9119332 from a6b43f7ba69ed1353860b0f24705215bed3d4db6 to gki13-boot-release" into gki13-boot-releasegki13-boot-release
-rw-r--r-- | Android.bp | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -46,9 +46,11 @@ license { ], } -java_library_host { - name: "jdiff", - srcs: ["**/*.java"], - - use_tools_jar: true, -} +// b/246303954: jdiff is excluded from build until it is migrated to Java 17, or +// replaced by another tool +// java_library_host { +// name: "jdiff", +// srcs: ["**/*.java"], +// +// use_tools_jar: true, +// } |