Fix tools/r8_get.py
Change-Id: I652d1f748d0dd105a1fdd9f023c4317eb3085141
diff --git a/tools/r8_get.py b/tools/r8_get.py
index 44cc9f1..4dfc924 100755
--- a/tools/r8_get.py
+++ b/tools/r8_get.py
@@ -21,13 +21,18 @@
'--outdir',
help='Output directory to place the r8.jar in (default cwd).',
default=None)
+ parser.add_argument(
+ '--nolib',
+ help='Use the non-lib distribution (default uses the lib distribution)',
+ default=False,
+ action='store_true')
return parser.parse_args()
def main():
args = parse_arguments()
outdir = args.outdir if args.outdir else ''
- print(compiledump.download_distribution(args.version, True, outdir))
+ print(compiledump.download_distribution(args.version, args, outdir))
return 0
