fix for testing whether it's windows or not, had all upper case but Windows_NT is...

diff --git a/scripts/core/functions.sh b/scripts/core/functions.sh
index 006851be33a35e2ba54fd9922c07cb780da6892d..eee56fe36c4156e3c8bf6c65aa090bdac4aa5efe 100644 (file)
--- a/scripts/core/functions.sh
+++ b/scripts/core/functions.sh
@@ -238,7 +238,7 @@ if [ -z "$skip_all" ]; then
   function unix_to_dos_path() {
     # we usually remove dos slashes in favor of forward slashes.
     local DOSSYHOME
-    if [[ ! "$OS" =~ ^WIN ]]; then
+    if [[ ! "$OS" =~ ^[Ww][iI][nN] ]]; then
       # fake this value for non-windows (non-cygwin) platforms.
       DOSSYHOME="$HOME"
     else