]> git.lyx.org Git - features.git/commit
Fix bug #8098
authorEnrico Forestieri <forenr@lyx.org>
Sun, 25 Mar 2012 03:14:58 +0000 (05:14 +0200)
committerEnrico Forestieri <forenr@lyx.org>
Sun, 25 Mar 2012 03:14:58 +0000 (05:14 +0200)
commitb907a0dc7cca2e6037e0493589fe4b8f77d5a18e
treee158202a8ead7606b7deccbcaf911fc6592e247c
parentd728575bf86c88b862505666a72c81966e8b723f
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.
lib/configure.py