mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-27 06:45:07 +02:00
8293041: --disable-@files option doesn't work and cause an error
Reviewed-by: alanb
This commit is contained in:
parent
761a4f4852
commit
13158cb52d
2 changed files with 7 additions and 1 deletions
|
@ -1374,6 +1374,8 @@ ParseArguments(int *pargc, char ***pargv,
|
|||
JLI_ReportErrorMessage(ARG_WARN, arg);
|
||||
} else if (JLI_StrCCmp(arg, "-splash:") == 0) {
|
||||
; /* Ignore machine independent options already handled */
|
||||
} else if (JLI_StrCmp(arg, "--disable-@files") == 0) {
|
||||
; /* Ignore --disable-@files option already handled */
|
||||
} else if (ProcessPlatformOption(arg)) {
|
||||
; /* Processing of platform dependent options */
|
||||
} else {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue