diff --git a/tools/build_defs/ninja_build.bzl b/tools/build_defs/ninja_build.bzl index 86055387..5fb092ba 100644 --- 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",