equal
deleted
inserted
replaced
172 public void put(String name, String value) { } |
172 public void put(String name, String value) { } |
173 }, "-help"); |
173 }, "-help"); |
174 return Result.CMDERR; |
174 return Result.CMDERR; |
175 } |
175 } |
176 |
176 |
|
177 // prefix argv with contents of _JAVAC_OPTIONS if set |
|
178 String envOpt = System.getenv("_JAVAC_OPTIONS"); |
|
179 if (envOpt != null && !envOpt.trim().isEmpty()) { |
|
180 String[] envv = envOpt.split("\\s+"); |
|
181 String[] result = new String[envv.length + argv.length]; |
|
182 System.arraycopy(envv, 0, result, 0, envv.length); |
|
183 System.arraycopy(argv, 0, result, envv.length, argv.length); |
|
184 argv = result; |
|
185 } |
|
186 |
|
187 // expand @-files |
177 try { |
188 try { |
178 argv = CommandLine.parse(argv); |
189 argv = CommandLine.parse(argv); |
179 } catch (FileNotFoundException | NoSuchFileException e) { |
190 } catch (FileNotFoundException | NoSuchFileException e) { |
180 warning("err.file.not.found", e.getMessage()); |
191 warning("err.file.not.found", e.getMessage()); |
181 return Result.SYSERR; |
192 return Result.SYSERR; |