diff options
author | 2017-12-20 17:24:11 -0800 | |
---|---|---|
committer | 2018-01-18 10:13:54 +0100 | |
commit | 354d675bdc468009b05ba08a9f7f371092bf239a (patch) | |
tree | 46378d727fb4b1fb9f28d8874bd1725c06f6911c /third_party | |
parent | 6e945ced1f3d61d2497626db9138127bcb302c77 (diff) |
Add missing resources to jopt-simple
This was causing jarjar --help to crash.
Change-Id: Ia8e654cf3f45225d00001a75b10d8a1a6d261401
Diffstat (limited to 'third_party')
-rw-r--r-- | third_party/java/jopt-simple/BUILD | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/third_party/java/jopt-simple/BUILD b/third_party/java/jopt-simple/BUILD index 43863a06b3..eb145bb623 100644 --- a/third_party/java/jopt-simple/BUILD +++ b/third_party/java/jopt-simple/BUILD @@ -10,4 +10,8 @@ filegroup( java_library( name = "jopt-simple", srcs = glob(["src/main/**/*.java"]), + resources = [ + "src/main/resources/joptsimple/ExceptionMessages.properties", + "src/main/resources/joptsimple/HelpFormatterMessages.properties", + ], ) |