diff options
| author | Alexandre Oliva <aoliva@redhat.com> | 2003-01-27 22:47:23 +0300 |
|---|---|---|
| committer | Alexandre Oliva <aoliva@redhat.com> | 2003-01-27 22:47:23 +0300 |
| commit | 70f15185be94730ec6436c655ac31407cd9679a0 (patch) | |
| tree | 9d0b4b8b240c5c93f590d6e1db2971885112aa65 /configure.in | |
| parent | dfb366da5a1b4af2f016ef6ce94d9cee02e74522 (diff) | |
* configure.in: Revert 24Jan change.
* configure: Regenerate.
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 531e188ac..4fd42ed24 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 |