Index: mojo/tools/roll/rev_sdk.py |
diff --git a/mojo/tools/roll/rev_sdk.py b/mojo/tools/roll/rev_sdk.py |
index 1fe7095ab5ad3679a607a370d291f4dcf0f92ba5..2480711620836525365f0a85fa0c76eaa3b1b10c 100755 |
--- a/mojo/tools/roll/rev_sdk.py |
+++ b/mojo/tools/roll/rev_sdk.py |
@@ -13,6 +13,7 @@ dirs_to_clone = [ |
"mojo/edk", |
"mojo/public", |
"mojo/services/public", |
+ "mojo/services/network/public", |
"mojo/services/surfaces/public", |
"mojo/services/view_manager/public", |
"mojo/services/window_manager/public", |