diff options
| author | Lex Spoon <lex@lexspoon.org> | 2006-07-13 09:19:48 +0000 |
|---|---|---|
| committer | Lex Spoon <lex@lexspoon.org> | 2006-07-13 09:19:48 +0000 |
| commit | a35c89a5e9e4cc4eb2671ec6ff03481b883fc92c (patch) | |
| tree | 1aa43c5a924682c26924bca3e7605bf5e7a7b663 /src/compiler/scala/tools/nsc/GenericRunnerCommand.scala | |
| parent | 1b41a79cb7e4f5e627aa49cdacf876d15d5f9157 (diff) | |
| download | scala-a35c89a5e9e4cc4eb2671ec6ff03481b883fc92c.tar.gz scala-a35c89a5e9e4cc4eb2671ec6ff03481b883fc92c.tar.bz2 scala-a35c89a5e9e4cc4eb2671ec6ff03481b883fc92c.zip | |
tweaked the loop over possible settings so that...
tweaked the loop over possible settings so that bad settings do not get
processed twice
Diffstat (limited to 'src/compiler/scala/tools/nsc/GenericRunnerCommand.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/GenericRunnerCommand.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/GenericRunnerCommand.scala b/src/compiler/scala/tools/nsc/GenericRunnerCommand.scala index 4f46d2848b..5e10006376 100644 --- a/src/compiler/scala/tools/nsc/GenericRunnerCommand.scala +++ b/src/compiler/scala/tools/nsc/GenericRunnerCommand.scala @@ -30,7 +30,8 @@ class GenericRunnerCommand(allargs: List[String], error: String => Unit) { while (!args.isEmpty && ok && args.head.startsWith("-")) { val args0 = args for (val setting <- settings.allSettings) - args = setting.tryToSet(args) + if(args eq args0) + args = setting.tryToSet(args) if (args eq args0) { error("unknown option: '" + args.head + "'") ok = false |