Enrico Forestieri b907a0dc7c Fix bug #8098
The Windows shell cannot have a UNC path as the current directory.
However, using pushd to change to the same directory automatically
maps the UNC path to a drive letter and thus it works.

Note that when calling cmd.exe from a UNC path there are still
warnings about the UNC path, but the command is then successfully
executed because the current directory is set to something digestible
by the shell.
2012-03-25 05:14:58 +02:00
..
2012-03-15 01:48:06 +01:00
2012-03-15 01:48:06 +01:00
2011-04-02 11:00:19 +00:00
2011-02-21 19:56:43 +00:00
2012-03-25 05:14:58 +02:00
2011-06-20 10:04:13 +00:00
2012-02-10 23:31:58 +00:00
2012-03-10 12:28:44 +00:00
2012-02-28 20:34:50 +00:00
2012-03-10 14:35:46 +00:00