Index: runtime/observatory/observatory_sources.gypi |
diff --git a/runtime/observatory/observatory_sources.gypi b/runtime/observatory/observatory_sources.gypi |
index 8e38941b21933bceb4a1cf57b1c9f3cb727ecca4..3809923d402640677360e0b4cee7ced4dabe6b27 100644 |
--- a/runtime/observatory/observatory_sources.gypi |
+++ b/runtime/observatory/observatory_sources.gypi |
@@ -118,6 +118,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', |