Index: third_party/mojo/src/mojo/public/tools/dart_pkg.py |
diff --git a/third_party/mojo/src/mojo/public/tools/dart_pkg.py b/third_party/mojo/src/mojo/public/tools/dart_pkg.py |
index 58725148d08edd1ece404fe42b609d7df24e37d8..d0f0d6ebb18b767bd5eadfbfdbdab602a40691c7 100755 |
--- a/third_party/mojo/src/mojo/public/tools/dart_pkg.py |
+++ b/third_party/mojo/src/mojo/public/tools/dart_pkg.py |
@@ -213,11 +213,6 @@ def main(): |
lib_path = os.path.join(target_dir, "lib") |
lib_mojom_path = os.path.join(lib_path, "mojom") |
- # Copy mojom sources |
- for mojom_source_path in args.mojom_sources: |
- path = mojom_path(mojom_source_path) |
- copy(mojom_source_path, os.path.join(lib_mojom_path, path)) |
- |
# Copy generated mojom.dart files. |
generated_mojom_lib_path = os.path.join(args.gen_directory, "mojom/lib") |
for mojom_source_path in args.mojom_sources: |