some changes required by naggy baby ms-windows, which can't sit up straight or feed...

to save anyone's life.

diff --git a/scripts/core/functions.sh b/scripts/core/functions.sh
index c4571b994a34096ae329b180c3f287e385904936..4ab3ec1c185b539cd247faf7024b5918ea325721 100644 (file)
--- a/scripts/core/functions.sh
+++ b/scripts/core/functions.sh
@@ -38,7 +38,13 @@ if [ -z "$skip_all" ]; then
     local patterns=($*)
     if [ "$OS" == "Windows_NT" ]; then
       # needs to be a windows format filename for 'type' to work.
-      local tmppid=c:\\tmp_pids.txt
+      if [ ! -d c:/tmp ]; then
+        mkdir c:/tmp
+      fi
+      # windows7 magical mystery tour lets us create a file c:\\tmp_pids.txt, but then it's not really there
+      # in the root of drive c: when we look for it later.  hoping to fix that problem by using a subdir, which
+      # also might be magical thinking from windows perspective.
+      tmppid=c:\\tmp\\pids.txt
       # we have abandoned all hope of relying on ps on windows.  instead
       # we use wmic to get full command lines for processes.
       # this does not exist on windows home edition.  we are hosed if that's