Index: runtime/observatory/observatory_sources.gypi |
diff --git a/runtime/observatory/observatory_sources.gypi b/runtime/observatory/observatory_sources.gypi |
index c2084e1053121ece4fcd2fd87526267b40665113..f9f71ab5adddb267d4dcd84c90311f66ab70ea0a 100644 |
--- a/runtime/observatory/observatory_sources.gypi |
+++ b/runtime/observatory/observatory_sources.gypi |
@@ -115,6 +115,8 @@ |
'lib/src/elements/metrics.html', |
'lib/src/elements/nav_bar.dart', |
'lib/src/elements/nav_bar.html', |
+ 'lib/src/elements/nav/menu.dart', |
+ 'lib/src/elements/nav/menu_wrapper.dart', |
'lib/src/elements/object_common.dart', |
'lib/src/elements/object_common.html', |
'lib/src/elements/object_view.dart', |