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