From e7989c40068565375bd348529d8afb3210c668d5 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Thu, 14 Nov 2019 00:47:12 +0100
Subject: [PATCH] Updated Windows build script so the installation won't get
 polluted by /bin files.

---
 scripts/deploy-win-mingw.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/deploy-win-mingw.sh b/scripts/deploy-win-mingw.sh
index d07d7d259..ffcc6081b 100644
--- a/scripts/deploy-win-mingw.sh
+++ b/scripts/deploy-win-mingw.sh
@@ -190,8 +190,12 @@ first=1
 pythons=$($python -c "import sys; print('\n'.join(sys.path))" | sort)
 for p in $pythons; do 
   p=$(cygpath $p)
+  rp=""
   if [[ $p == "$mingw_inst"* ]] && [ -e "$p" ]; then
     rp=${p/"$mingw_inst/"}
+  fi
+  # NOTE: "bin" is in the path sometimes and will pollute our installation, so we skip it
+  if [ "$rp" != "" ] && [ "$rp" != "bin" ]; then
     if [ $first == "0" ]; then
       echo "," >>$target/.python-paths.txt
     fi