From 77ebdfc5a8bcf53b1fada7955c6559f7dd7ed3d8 Mon Sep 17 00:00:00 2001
From: Andreas Herrmann <andreas.herrmann@tweag.io>
Date: Fri, 8 Nov 2019 15:30:26 +0100
Subject: [PATCH] Manually fetch @makensis_dev_env

---
 build.ps1 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build.ps1 b/build.ps1
index 2c6536319f34..cf2c3ee1db46 100644
--- a/build.ps1
+++ b/build.ps1
@@ -30,6 +30,10 @@ function bazel() {
 # which is a workaround for this problem.
 bazel shutdown
 
+# Manually fetch a Windows dev-env tool to avoid the following error:
+#   ERROR loading ~/.scoop: The process cannot access the file 'C:\Users\VssAdministrator\.scoop' because it is being used by another process.
+bazel fetch -j 1 @makensis_dev_env//...
+
 bazel build `-`-experimental_execution_log_file ${ARTIFACT_DIRS}/build_execution_windows.log //...
 
 bazel shutdown