Fix dotty-doc exit code

allanrenucci · allanrenucci · commit 080d7fee7a3d · 2018-01-23T15:43:10.000+01:00
diff --git a/doc-tool/src/dotty/tools/dottydoc/DocDriver.scala b/doc-tool/src/dotty/tools/dottydoc/DocDriver.scala
@@ -60,7 +60,7 @@ class DocDriver extends Driver {
         .generateBlog()
 
       ctx.docbase.printSummary()
-      System.exit(if (reporter.hasErrors) 1 else 0)
     }
+    System.exit(if (reporter.hasErrors) 1 else 0)
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,7 @@ class DocDriver extends Driver {`
`60`	`60`	`.generateBlog()`
`61`	`61`
`62`	`62`	`ctx.docbase.printSummary()`
`63`		`- System.exit(if (reporter.hasErrors) 1 else 0)`
`64`	`63`	`}`
	`64`	`+ System.exit(if (reporter.hasErrors) 1 else 0)`
`65`	`65`	`}`
`66`	`66`	`}`