Index: mojo/tools/rev_sdk.py |
diff --git a/mojo/tools/rev_sdk.py b/mojo/tools/rev_sdk.py |
index a33c37eb399177c63b06f29ad0ad58562a796d92..15812c5a7464a4678111fa66c9675d0905d7c62c 100755 |
--- a/mojo/tools/rev_sdk.py |
+++ b/mojo/tools/rev_sdk.py |
@@ -23,6 +23,7 @@ sdk_dirs_to_clone = [ |
sdk_dirs_to_not_clone = [ |
"mojo/public/cpp/application", |
"mojo/public/interfaces/application", |
+ "third_party/mojo/src/mojo/public/java/application", |
] |
# Individual files to preserve within the target repository during roll. These |