diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-12-02 23:58:15 -0500 |
|---|---|---|
| committer | Carlos O'Donell <carlos@systemhalted.org> | 2015-12-02 23:58:15 -0500 |
| commit | db340c904dd519142025a09190bf48ad28152ab9 (patch) | |
| tree | 9e206d2550232fbcb418b42cdc42df548993be94 /configure | |
| parent | 4de3b51e08cd7585926406b06da113d1173075c3 (diff) | |
| download | glibc-db340c904dd519142025a09190bf48ad28152ab9.tar.gz | |
Use shell's builtin pwd.
Insisting on /bin/pwd is unnecessary nowadays. Autoconf-generated
scripts have been using the shell's built-in "pwd" for a long time.`
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3228,7 +3228,7 @@ if test $libc_cv_cxx_link_ok != yes; then : CXX= fi -if test "`cd $srcdir; /bin/pwd`" = "`/bin/pwd`"; then +if test "`cd $srcdir; pwd -P`" = "`pwd -P`"; then as_fn_error $? "you must configure in a separate build directory" "$LINENO" 5 fi |