Index: runtime/observatory/observatory_sources.gypi |
diff --git a/runtime/observatory/observatory_sources.gypi b/runtime/observatory/observatory_sources.gypi |
index 8e38941b21933bceb4a1cf57b1c9f3cb727ecca4..7c65c2db6edb50ff2216bafb60405fb7565f8b0b 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/refresh.dart', |
+ 'lib/src/elements/nav/refresh_wrapper.dart', |
'lib/src/elements/object_common.dart', |
'lib/src/elements/object_common.html', |
'lib/src/elements/object_view.dart', |