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 | d5de0a84ca0243f660d44d505d05a726f127b667 (patch) | |
| tree | 15f2608d1277844ce4031e19877427a35cee7ccb /configure.in | |
| parent | fac1652d6be8f3a3292d250464d02053630b93f4 (diff) | |
| download | gdb-d5de0a84ca0243f660d44d505d05a726f127b667.zip gdb-d5de0a84ca0243f660d44d505d05a726f127b667.tar.gz gdb-d5de0a84ca0243f660d44d505d05a726f127b667.tar.bz2 | |
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 75ca1a3..5a02dd2 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 |