Index: pkg/kernel/bin/dartk.dart |
diff --git a/pkg/kernel/bin/dartk.dart b/pkg/kernel/bin/dartk.dart |
index e2f474202e88fd55ae8b11c710b3d2dfdb903353..1c056843d62a1c11a9f192dcdf0e5d2dbba09273 100755 |
--- a/pkg/kernel/bin/dartk.dart |
+++ b/pkg/kernel/bin/dartk.dart |
@@ -334,7 +334,9 @@ Future<CompilerOutcome> batchMain( |
} |
} |
- sanityCheck(); |
+ if (canContinueCompilation) { |
+ sanityCheck(); |
+ } |
String outputDependencies = options['write-dependencies']; |
if (outputDependencies != null) { |