Fork the mojo shell interfaces used by Mandoline.

mojo/tools/rev_sdk.py

Index: mojo/tools/rev_sdk.py
diff --git a/mojo/tools/rev_sdk.py b/mojo/tools/rev_sdk.py
index c5cefbca8725f8f70f0a446414b5f36ad4d1f008..a33c37eb399177c63b06f29ad0ad58562a796d92 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",

[jamesr, 2015/05/22 21:25:02]

Removing these files from the copy of the SDK in chromium means that it is
impossible to build a mojo application from the chromium repository at all, even
for projects that might want to support running in both mandoline and mojo
shells.  Is this deliberate?

+  "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)