diff options
| author | Peter Eisentraut | 2009-01-05 09:54:13 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2009-01-05 09:54:13 +0000 |
| commit | 46866e92bd89f1e81a2dbe45a8c1997f23f452fa (patch) | |
| tree | 650c2631e4ed923872e24447a36881ba61398cda /doc/FAQ_DEV | |
| parent | 26af72b46b8fb4b828224f5d5f67a99f16ebdb38 (diff) | |
Fix for cross-compilation between mingw32 and something else. The choice
of pwd vs. pwd -W is correctly a function of the build system, not the
host system.
Diffstat (limited to 'doc/FAQ_DEV')
0 files changed, 0 insertions, 0 deletions