diff options
| author | Kazuyoshi Kato <kato.kazuyoshi@gmail.com> | 2016-06-24 08:17:35 -0700 |
|---|---|---|
| committer | Kazuyoshi Kato <kato.kazuyoshi@gmail.com> | 2016-07-27 06:54:27 -0700 |
| commit | 8e55954654596c965f220154a5f557e49463fa81 (patch) | |
| tree | bfb378355fda438709c35da75b4758d387b586ad /src/dotty/tools/dotc/config/ScalaSettings.scala | |
| parent | 5ffce6e910f4cc1fced15824df86a9524be81681 (diff) | |
| download | dotty-8e55954654596c965f220154a5f557e49463fa81.tar.gz dotty-8e55954654596c965f220154a5f557e49463fa81.tar.bz2 dotty-8e55954654596c965f220154a5f557e49463fa81.zip | |
Fixes #1316: Remove JLine
Dotty uses ammonite.terminal since April (53bd25f) which replaces JLine.
There is no reason to keep it anymore.
Diffstat (limited to 'src/dotty/tools/dotc/config/ScalaSettings.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/ScalaSettings.scala | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/config/ScalaSettings.scala b/src/dotty/tools/dotc/config/ScalaSettings.scala index 1c1c72671..d0c4cc02c 100644 --- a/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -74,7 +74,6 @@ class ScalaSettings extends Settings.SettingGroup { val maxClassfileName = IntSetting("-Xmax-classfile-name", "Maximum filename length for generated classes", 255, 72 to 255) val Xmigration = VersionSetting("-Xmigration", "Warn about constructs whose behavior may have changed since version.") val Xsource = VersionSetting("-Xsource", "Treat compiler input as Scala source for the specified version.") - val Xnojline = BooleanSetting("-Xnojline", "Do not use JLine for editing.") val Xverify = BooleanSetting("-Xverify", "Verify generic signatures in generated bytecode (asm backend only.)") val plugin = MultiStringSetting("-Xplugin", "file", "Load one or more plugins from files.") val disable = MultiStringSetting("-Xplugin-disable", "plugin", "Disable the given plugin(s).") |