src/java.base/share/native/libjli/java.c
changeset 55000 f11f2a4210b5
parent 54543 4fc566b7a9c0
child 55080 ef713640430e
--- a/src/java.base/share/native/libjli/java.c	Wed May 22 21:50:16 2019 -0400
+++ b/src/java.base/share/native/libjli/java.c	Wed May 22 21:45:47 2019 -0700
@@ -1430,6 +1430,7 @@
         } else if (JLI_StrCmp(arg, "-noclassgc") == 0) {
             AddOption("-Xnoclassgc", NULL);
         } else if (JLI_StrCmp(arg, "-Xfuture") == 0) {
+            JLI_ReportErrorMessage(ARG_DEPRECATED, "-Xfuture");
             AddOption("-Xverify:all", NULL);
         } else if (JLI_StrCmp(arg, "-verify") == 0) {
             AddOption("-Xverify:all", NULL);