Index: mojo/tools/roll/rev_sdk.py |
diff --git a/mojo/tools/roll/rev_sdk.py b/mojo/tools/roll/rev_sdk.py |
index 54c5ead6070f3bc10219ee55578bb31b5397d5ad..46180a1120cfc5f1c96f0edb9f7e596985b9691d 100755 |
--- a/mojo/tools/roll/rev_sdk.py |
+++ b/mojo/tools/roll/rev_sdk.py |
@@ -20,6 +20,7 @@ dirs_to_clone = [ |
"mojo/services/gpu/public", |
"mojo/services/input_events/public", |
"mojo/services/native_viewport/public", |
+ "mojo/services/navigation/public", |
"mojo/services/network/public", |
"mojo/services/surfaces/public", |
"mojo/services/view_manager/public", |