diff options
author | Karsten Thoms | 2018-09-20 12:21:02 +0000 |
---|---|---|
committer | Karsten Thoms | 2019-10-17 11:19:57 +0000 |
commit | 084f94ac85d1f661580309ab1a2d301071ee80dd (patch) | |
tree | e9811aca51d92fa12be0eb86b6ad332345b833d3 | |
parent | ba59a29d7bb455f98495dc317d2e9b1dbc78925c (diff) | |
download | eclipse.jdt.core-084f94ac85d1f661580309ab1a2d301071ee80dd.tar.gz eclipse.jdt.core-084f94ac85d1f661580309ab1a2d301071ee80dd.tar.xz eclipse.jdt.core-084f94ac85d1f661580309ab1a2d301071ee80dd.zip |
[trivial] Fixed typo in commentI20191018-1800I20191018-0720
Change-Id: I6c906307775747a02b35b65179ade6c8844c9d12
Signed-off-by: Karsten Thoms <karsten.thoms@itemis.de>
-rw-r--r-- | org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java b/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java index 600985b755..8b39169f28 100644 --- a/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java +++ b/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java @@ -2804,7 +2804,7 @@ public void configure(String[] argv) { mode = DEFAULT; continue; case INSIDE_RELEASE: - // If release is < 9, the following are diasllowed: + // If release is < 9, the following are disallowed: // bootclasspath, -Xbootclasspath, -Xbootclasspath/a:, -Xbootclasspath/p:, // -endorseddirs, -Djava.endorsed.dirs, -extdirs, -Djava.ext.dirs |