diff options
author | Nick Clifton <nickc@redhat.com> | 2002-05-22 09:21:32 +0000 |
---|---|---|
committer | Nick Clifton <nickc@redhat.com> | 2002-05-22 09:21:32 +0000 |
commit | b5e167618d0d0da1e1bce9a060bcfc29aeef7c6d (patch) | |
tree | c22aa2519aa32122a1739926ebda6656e3ed2070 /configure.in | |
parent | b108c054b1e6601143ec0dd89b0871cf226ddcc9 (diff) | |
download | gdb-b5e167618d0d0da1e1bce9a060bcfc29aeef7c6d.tar.gz |
Allow for PWDCMD to override hardcoded pwd.
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.in b/configure.in index 75ca1a3ba57..5a02dd20e29 100644 --- a/configure.in +++ b/configure.in @@ -446,7 +446,7 @@ target_subdir=${target_alias} if test ! -d ${target_subdir} ; then if mkdir ${target_subdir} ; then true else - echo "'*** could not make ${PWD=`pwd`}/${target_subdir}" 1>&2 + echo "'*** could not make ${PWD=`${PWDCMD-pwd}`}/${target_subdir}" 1>&2 exit 1 fi fi @@ -457,7 +457,7 @@ if test x"${build_alias}" != x"${host}" ; then if test ! -d ${build_subdir} ; then if mkdir ${build_subdir} ; then true else - echo "'*** could not make ${PWD=`pwd`}/${build_subdir}" 1>&2 + echo "'*** could not make ${PWD=`${PWDCMD-pwd}`}/${build_subdir}" 1>&2 exit 1 fi fi |