diff options
| author | Lex Spoon <lex@lexspoon.org> | 2006-07-12 08:41:55 +0000 |
|---|---|---|
| committer | Lex Spoon <lex@lexspoon.org> | 2006-07-12 08:41:55 +0000 |
| commit | 02fb5be2df9a94f871832db1f8a4dc5a20eb2078 (patch) | |
| tree | c53143387cdb8074110ce1ab5dba9981fea58b17 | |
| parent | a78b5c7699a82252e0bdcd347497cb58a0a67830 (diff) | |
| download | scala-02fb5be2df9a94f871832db1f8a4dc5a20eb2078.tar.gz scala-02fb5be2df9a94f871832db1f8a4dc5a20eb2078.tar.bz2 scala-02fb5be2df9a94f871832db1f8a4dc5a20eb2078.zip | |
ChoiceSetting's do not consume options that are
bad; they print an error but leave the options untouched
| -rw-r--r-- | src/compiler/scala/tools/nsc/Settings.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/Settings.scala b/src/compiler/scala/tools/nsc/Settings.scala index fe031ce15d..1dfc8ab0d5 100644 --- a/src/compiler/scala/tools/nsc/Settings.scala +++ b/src/compiler/scala/tools/nsc/Settings.scala @@ -202,7 +202,7 @@ class Settings(error: String => unit) { error( if (choice == "") "missing " + argument else "unknown " + argument + " '" + choice + "'") - List() + args } else { value = choice rest |