From e93c1a93a2c8a40265b34bb9f1dd61b9470c908d Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Sun, 11 Apr 2010 00:32:00 +0000 Subject: 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. --- src/library/scala/util/Properties.scala | 1 + 1 file changed, 1 insertion(+) (limited to 'src/library') 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) -- cgit v1.2.3