equal
deleted
inserted
replaced
419 throw new IllegalArgumentException(); |
419 throw new IllegalArgumentException(); |
420 |
420 |
421 if (verbose) |
421 if (verbose) |
422 System.err.println("run_simple: " + opts + " " + files); |
422 System.err.println("run_simple: " + opts + " " + files); |
423 |
423 |
424 List<String> args = new ArrayList<String>(opts); |
424 List<String> args = new ArrayList<String>(); |
425 |
425 |
426 if (keys != null || raw) |
426 if (keys != null || raw) |
427 args.add("-XDrawDiagnostics"); |
427 args.add("-XDrawDiagnostics"); |
428 |
428 |
429 args.addAll(opts); |
429 args.addAll(opts); |