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.ac | |
| parent | 4de3b51e08cd7585926406b06da113d1173075c3 (diff) | |
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.ac')
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index ab18e5d826..ee7a3f16a0 100644 --- a/configure.ac +++ b/configure.ac @@ -80,7 +80,7 @@ LDFLAGS="$old_LDFLAGS" AC_LANG_POP([C++])]) AS_IF([test $libc_cv_cxx_link_ok != yes], [CXX=]) -if test "`cd $srcdir; /bin/pwd`" = "`/bin/pwd`"; then +if test "`cd $srcdir; pwd -P`" = "`pwd -P`"; then AC_MSG_ERROR([you must configure in a separate build directory]) fi |