summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-12-02 23:58:15 -0500
committerCarlos O'Donell <carlos@systemhalted.org>2015-12-02 23:58:15 -0500
commitdb340c904dd519142025a09190bf48ad28152ab9 (patch)
tree9e206d2550232fbcb418b42cdc42df548993be94 /configure
parent4de3b51e08cd7585926406b06da113d1173075c3 (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')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 5ae092b5a0..aa05d4992b 100755
--- a/configure
+++ b/configure
@@ -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