lib/scripts/getsettings
changeset 58640 37f852399a32
parent 58413 22dd971f6938
child 58791 00916b0dd596
--- a/lib/scripts/getsettings	Thu Oct 09 11:15:03 2014 +0200
+++ b/lib/scripts/getsettings	Thu Oct 09 13:56:27 2014 +0200
@@ -26,6 +26,12 @@
 then
   unset INI_DIR
 
+  if [ -n "$TEMP_WINDOWS" ]; then
+    TMPDIR="$(cygpath -u "$TEMP_WINDOWS")"
+    TMP="$TMPDIR"
+    TEMP="$TMPDIR"
+  fi
+
   if [ -z "$USER_HOME" ]; then
     USER_HOME="$(cygpath -u "$HOMEDRIVE\\$HOMEPATH")"
   fi