diff options
author | Lex Spoon <lex@lexspoon.org> | 2008-01-02 22:23:24 +0000 |
---|---|---|
committer | Lex Spoon <lex@lexspoon.org> | 2008-01-02 22:23:24 +0000 |
commit | 0fd867b5edf52ba97db80014ba041c901b12a98d (patch) | |
tree | f34f28c94f0cfb0af0302c134c992703c8463c38 /src | |
parent | a86b9aedb900e304264795500004271c46a61acd (diff) | |
download | scala-0fd867b5edf52ba97db80014ba041c901b12a98d.tar.gz scala-0fd867b5edf52ba97db80014ba041c901b12a98d.tar.bz2 scala-0fd867b5edf52ba97db80014ba041c901b12a98d.zip |
if a plugin is given a bad option, stop before ...
if a plugin is given a bad option, stop before running any compilation
phases
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/Global.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/Global.scala b/src/compiler/scala/tools/nsc/Global.scala index 35810e560d..8303b07b4b 100644 --- a/src/compiler/scala/tools/nsc/Global.scala +++ b/src/compiler/scala/tools/nsc/Global.scala @@ -518,6 +518,9 @@ class Global(var settings: Settings, var reporter: Reporter) extends SymbolTable else false def compileSources(sources: List[SourceFile]) { + if (reporter.hasErrors) + return // there is a problem already, e.g. a + // plugin was passed a bad option val startTime = currentTime reporter.reset for (source <- sources) addUnit(new CompilationUnit(source)) |