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