diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.in b/configure.in index 531e188..4fd42ed 100644 --- a/configure.in +++ b/configure.in @@ -201,7 +201,7 @@ fi # We always want to use the same name for this directory, so that dejagnu # can reliably find it. -target_subdir=${target} +target_subdir=${target_alias} if test ! -d ${target_subdir} ; then if mkdir ${target_subdir} ; then true @@ -211,7 +211,8 @@ if test ! -d ${target_subdir} ; then fi fi -build_subdir=build-${build} +build_prefix=build- +build_subdir=${build_prefix}${build_alias} if test x"${build_alias}" != x"${host}" ; then if test ! -d ${build_subdir} ; then |