diff --git a/src/create_embedded_tools.py b/src/create_embedded_tools.py
index d1b09ae..dfb7b11 100644
--- a/src/create_embedded_tools.py
+++ b/src/create_embedded_tools.py
@@ -29,6 +29,8 @@
 
 output_paths = [
     ('*tools/jdk/BUILD', lambda x: 'tools/jdk/BUILD'),
+    ('*tools/build_defs/repo/BUILD.repo',
+     lambda x: 'tools/build_defs/repo/BUILD'),
     ('*tools/platforms/platforms.BUILD', lambda x: 'platforms/BUILD'),
     ('*tools/platforms/*', lambda x: 'platforms/' + os.path.basename(x)),
     ('*tools/cpp/runfiles/generated_*',