tree 0beb3e239c9128cb58b9702dcc2a4ac8e81e30a7
parent 84871bd6b2144936e25f5788179f23b1dec5f1ab
author Jannis Andrija Schnitzer <jannis.schnitzer@edg.ag> 1549301221 -0800
committer Copybara-Service <copybara-piper@google.com> 1549301356 -0800

Avoid deletion of repository directory in repository_ctx

On Windows, it is impossible to delete a directory while this directory
is the working directory of a running process. In _clone_or_update,
however, BAZEL_SH is called from the repository_ctx, giving it the
repository directory as working directory. The cleaning of the directory
is then performed by deleting and re-creating that very directory.

Cygwin apparently does some workarounds to make this possible, but other
shells (e. g. busybox-w32) don't. This commit changes the rule to use
the capabilities of git to achieve the same effect (completely wiping
the directory and fetching it again from the remote, like
rm -rf && git clone would.

Fixes #7274.

Closes #7285.

PiperOrigin-RevId: 232310366