From a35c89a5e9e4cc4eb2671ec6ff03481b883fc92c Mon Sep 17 00:00:00 2001
From: Lex Spoon <lex@lexspoon.org>
Date: Thu, 13 Jul 2006 09:19:48 +0000
Subject: tweaked the loop over possible settings so that...

tweaked the loop over possible settings so that bad settings do not get
processed twice
---
 src/compiler/scala/tools/nsc/GenericRunnerCommand.scala | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3