diff options
| author | mihaylov <mihaylov@epfl.ch> | 2007-03-26 15:49:25 +0000 |
|---|---|---|
| committer | mihaylov <mihaylov@epfl.ch> | 2007-03-26 15:49:25 +0000 |
| commit | 831cb380f1eeb62090b549d739296ef0e7f856b9 (patch) | |
| tree | b2493f843e444120d75bd445c1fe4eb47f54f973 /src/compiler/scala/tools/nsc/GenericRunnerSettings.scala | |
| parent | 1ce961f61e248054c8e7a6cf92db5e277973dafd (diff) | |
| download | scala-831cb380f1eeb62090b549d739296ef0e7f856b9.tar.gz scala-831cb380f1eeb62090b549d739296ef0e7f856b9.tar.bz2 scala-831cb380f1eeb62090b549d739296ef0e7f856b9.zip | |
Small refactoring of the Setting classes
Diffstat (limited to 'src/compiler/scala/tools/nsc/GenericRunnerSettings.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/GenericRunnerSettings.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/GenericRunnerSettings.scala b/src/compiler/scala/tools/nsc/GenericRunnerSettings.scala index cf6e6672db..4ba176d0fe 100644 --- a/src/compiler/scala/tools/nsc/GenericRunnerSettings.scala +++ b/src/compiler/scala/tools/nsc/GenericRunnerSettings.scala @@ -34,8 +34,11 @@ extends Settings(error) { is not added to allsettings. Thus, */ class DefinesSetting - extends Setting("-D<prop>", "set a Java property") + extends Setting("set a Java property") { + + def name = "-D<prop>" + private val props = new Queue[(String, String)] def value = props.toList |