Index: dart/pkg/dartdoc/bin/dartdoc.dart |
diff --git a/dart/pkg/dartdoc/bin/dartdoc.dart b/dart/pkg/dartdoc/bin/dartdoc.dart |
index 662b62309286b408c5eff3c0a724735fc469d346..f74df7622b178e5d6511ee013d392ba13388ae30 100644 |
--- a/dart/pkg/dartdoc/bin/dartdoc.dart |
+++ b/dart/pkg/dartdoc/bin/dartdoc.dart |
@@ -79,6 +79,11 @@ main() { |
dartdoc.linkToApi = true; |
break; |
+ // Hack to accept, but not use, colors option. |
+ // This allows shared bash script to run dartdoc. |
+ case '--enable-diagnostic-colors': |
+ break; |
+ |
default: |
if (arg.startsWith('--out=')) { |
dartdoc.outputDir = |