diff options
Diffstat (limited to 'src/compiler/scala/tools/nsc/GenericRunnerCommand.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/GenericRunnerCommand.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/GenericRunnerCommand.scala b/src/compiler/scala/tools/nsc/GenericRunnerCommand.scala index 26742f5a88..3c08c603af 100644 --- a/src/compiler/scala/tools/nsc/GenericRunnerCommand.scala +++ b/src/compiler/scala/tools/nsc/GenericRunnerCommand.scala @@ -33,7 +33,7 @@ class GenericRunnerCommand(allargs: List[String], error: String => Unit) { if (args eq args0) args = setting.tryToSet(args) if (args eq args0) { - error("unknown option: '" + args.head + "'") + error("bad option: '" + args.head + "'") ok = false } } |