Fork the mojo shell interfaces used by Mandoline.

Per in-person discussions, as long as we have a fork of mojo shell we'll fork the interfaces.

I'll do third_party/mojo/src/mojo/public/java/application in a followup.

TBR=tsepez

Review URL: https://codereview.chromium.org/1139123006

Cr-Commit-Position: refs/heads/master@{#329965}

1 files changed, 13 insertions, 0 deletions

diff --git a/mojo/tools/rev_sdk.py b/mojo/tools/rev_sdk.py
index c5cefbc..a33c37e 100755
--- a/mojo/tools/rev_sdk.py
+++ b/mojo/tools/rev_sdk.py
@@ -20,6 +20,11 @@ sdk_dirs_to_clone = [
   "nacl_bindings",
 ]
 
+sdk_dirs_to_not_clone = [
+  "mojo/public/cpp/application",
+  "mojo/public/interfaces/application",
+]
+
 # Individual files to preserve within the target repository during roll. These
 # are relative to |sdk_prefix_in_chromium| but are not maintained in the mojo
 # repository.
@@ -52,6 +57,14 @@ def rev(source_dir, chromium_dir):
       if os.path.basename(f) == "PRESUBMIT.py":
         continue
 
+      exclude = False
+      for excluded in sdk_dirs_to_not_clone:
+        if f.startswith(excluded):
+          exclude = True
+          break
+      if exclude:
+        continue
+
       # Clone |f| into Chromium under |dest_dir| at its location relative to
       # |input_dir|.
       f_relpath = os.path.relpath(f, input_dir)