diff options
-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 |