diff options
| author | Paul Phillips <paulp@improving.org> | 2010-04-11 00:32:00 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2010-04-11 00:32:00 +0000 |
| commit | e93c1a93a2c8a40265b34bb9f1dd61b9470c908d (patch) | |
| tree | b9f13ffbe1d1ef59380e32f74380f9797b7fd2cb /src/library | |
| parent | 71b6aca681ab697304590a96b13847b9bba141dc (diff) | |
| download | scala-e93c1a93a2c8a40265b34bb9f1dd61b9470c908d.tar.gz scala-e93c1a93a2c8a40265b34bb9f1dd61b9470c908d.tar.bz2 scala-e93c1a93a2c8a40265b34bb9f1dd61b9470c908d.zip | |
Introduces scala.tools.cmd providing command li...
Introduces scala.tools.cmd providing command line tool infrastructure.
For a quick look at what can be done, see
scala.tools.cmd.Demo
For a more involved, potentially eye-straining look, see
scala.tools.partest.PartestSpec
To experience it through the eyes of Joe Partest User, run
test/partest
Review by community.
Diffstat (limited to 'src/library')
| -rw-r--r-- | src/library/scala/util/Properties.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/library/scala/util/Properties.scala b/src/library/scala/util/Properties.scala index b781e46be5..3a08fa0482 100644 --- a/src/library/scala/util/Properties.scala +++ b/src/library/scala/util/Properties.scala @@ -54,6 +54,7 @@ private[scala] trait PropertiesTrait def clearProp(name: String) = System.clearProperty(name) def envOrElse(name: String, alt: String) = Option(System getenv name) getOrElse alt + def envOrNone(name: String) = Option(System getenv name) // for values based on propFilename def scalaPropOrElse(name: String, alt: String): String = scalaProps.getProperty(name, alt) |