Enrico Forestieri f731a65507 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.
(cherry picked from commit b907a0dc7cca2e6037e0493589fe4b8f77d5a18e)
2012-03-25 15:36:51 +02:00
..
2011-09-10 14:27:19 +00:00
2007-12-02 22:10:26 +00:00
2011-04-02 11:00:19 +00:00
2012-01-28 10:50:12 +00:00
2012-02-03 17:30:21 +00:00
2011-02-21 19:56:43 +00:00
2011-12-03 15:27:20 +00:00
2003-10-13 09:50:10 +00:00
2012-03-25 15:36:51 +02:00
2011-06-20 10:12:10 +00:00
2011-06-20 10:12:10 +00:00
2011-04-29 00:12:05 +00:00
2012-01-28 10:50:12 +00:00
2012-01-22 10:34:07 +00:00
2012-02-28 20:46:20 +00:00