commit e67c961905792cd63950c6f6efc33275ad243c49
author philwo <philwo@google.com> Mon May 06 04:28:48 2019 -0700
committer Copybara-Service <copybara-worker@google.com> Mon May 06 04:30:10 2019 -0700
tree 7aa170527a316645778df5fb69317cea9047603e
parent 60cd10bdacca8e5901f7f15699a0927f5e925b1a

Fix a non-determinism in create_embedded_tools.py.

PiperOrigin-RevId: 246804128

scripts/bootstrap/compile.sh

diff --git a/scripts/bootstrap/compile.sh b/scripts/bootstrap/compile.sh
index bfc0d6e..069ee91 100755
--- a/scripts/bootstrap/compile.sh
+++ b/scripts/bootstrap/compile.sh
@@ -272,7 +272,7 @@
 
   # Set up @bazel_tools//platforms properly
   mkdir -p ${BAZEL_TOOLS_REPO}/platforms
-  cp tools/platforms/platforms.BUILD ${BAZEL_TOOLS_REPO}/platforms/BUILD
+  cp tools/platforms/BUILD.tools ${BAZEL_TOOLS_REPO}/platforms/BUILD
 
   # Overwrite tools.WORKSPACE, this is only for the bootstrap binary
   chmod u+w "${OUTPUT_DIR}/classes/com/google/devtools/build/lib/bazel/rules/tools.WORKSPACE"