diff options
author | Paul Phillips <paulp@improving.org> | 2013-03-04 08:34:38 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-03-04 08:34:38 -0800 |
commit | 1bde987ee151d8898963ee503b1e6901226cabce (patch) | |
tree | e7117a287aada8eee5ec31b431682660e1f778b6 /src/compiler/scala/tools/nsc/Global.scala | |
parent | 8dc1bc78ca57876085bb3b384b002dd29bc0e5fe (diff) | |
download | scala-1bde987ee151d8898963ee503b1e6901226cabce.tar.gz scala-1bde987ee151d8898963ee503b1e6901226cabce.tar.bz2 scala-1bde987ee151d8898963ee503b1e6901226cabce.zip |
Always at least log devWarnings.
Diffstat (limited to 'src/compiler/scala/tools/nsc/Global.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/Global.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/Global.scala b/src/compiler/scala/tools/nsc/Global.scala index fea9e72512..4e5f4faf51 100644 --- a/src/compiler/scala/tools/nsc/Global.scala +++ b/src/compiler/scala/tools/nsc/Global.scala @@ -263,6 +263,8 @@ class Global(var currentSettings: Settings, var reporter: Reporter) @inline final override def devWarning(msg: => String) { if (settings.developer.value || settings.debug.value) warning("!!! " + msg) + else + log("!!! " + msg) // such warnings always at least logged } private def elapsedMessage(msg: String, start: Long) = |