From 869e311327d64636d73c5f13e36a9939f1a4a7cd Mon Sep 17 00:00:00 2001
From: Adrien Ferrand <ferrand.ad@gmail.com>
Date: Mon, 31 May 2021 21:22:41 +0200
Subject: [PATCH] Do not run pin.sh on Windows

---
 tools/pinning/pin.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/pinning/pin.sh b/tools/pinning/pin.sh
index 91d20dc7c..fb3055a24 100755
--- a/tools/pinning/pin.sh
+++ b/tools/pinning/pin.sh
@@ -4,6 +4,11 @@
 # modifying pyproject.toml in the same directory as this file.
 set -euo pipefail
 
+if uname -a | grep -q -E 'CYGWIN|MINGW'; then
+    echo "This script cannot be run on Windows"
+    exit 1
+fi
+
 WORK_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )"
 REPO_ROOT="$(dirname "$(dirname "${WORK_DIR}")")"
 PIPSTRAP_CONSTRAINTS="${REPO_ROOT}/tools/pipstrap_constraints.txt"