Chromium Code Reviews| 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) { |