do not follow links when copy ninja sources (#53)

2018-08-22 14:51:27 +02:00 · 2018-08-22 14:51:27 +02:00 · e711ddb2f0
parent 600078f283
commit e711ddb2f0
1 changed files with 1 additions and 1 deletions
--- a/tools/build_defs/ninja_build.bzl
+++ b/tools/build_defs/ninja_build.bzl
@ -6,7 +6,7 @@ def _ninja_tool(ctx):
    ninja = ctx.actions.declare_directory("ninja")
    script_text = "\n".join([
        "mkdir " + ninja.path,
-        "cp -r -L ./{}/** {}".format(root, ninja.path),
+        "cp -r ./{}/** {}".format(root, ninja.path),
        "cd " + ninja.path,
        "pwd",
        "./configure.py --bootstrap",