From 9bf973eb986983519cb1ea3c7a706818f2df99c0 Mon Sep 17 00:00:00 2001 From: Robert Bradshaw Date: Mon, 10 Oct 2016 12:07:23 -0700 Subject: [PATCH] Rename BUILD file to avoid conflict with build directory. For case-insensitive systems. Closes #1482 --- BUILD => BUILD.bazel | 0 Tools/{BUILD => BUILD.bazel} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename BUILD => BUILD.bazel (100%) rename Tools/{BUILD => BUILD.bazel} (100%) diff --git a/BUILD b/BUILD.bazel similarity index 100% rename from BUILD rename to BUILD.bazel diff --git a/Tools/BUILD b/Tools/BUILD.bazel similarity index 100% rename from Tools/BUILD rename to Tools/BUILD.bazel