| 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',
|
|
|