]> 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 13:36:51 +0000 (15:36 +0200)
commitf731a6550754ed4c2dbcdad42e3c2cecac8807fd
treec7c41f8863a21b1898914b9b9e8f1df78a8abc34
parentc32c85c140b9f0f00732c677ac55037842686fd7
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)
lib/configure.py