diff options
author | Alexandre Oliva <aoliva@redhat.com> | 2003-01-27 19:47:23 +0000 |
---|---|---|
committer | Alexandre Oliva <aoliva@redhat.com> | 2003-01-27 19:47:23 +0000 |
commit | e6862a57fe1d368739166abfe82c145246d576cd (patch) | |
tree | 0e07ef5a69c131138ec99e181a08e3e8bc6ce62d /configure.in | |
parent | fa7e61083942d771d35c869a7c26e51b830c75af (diff) | |
download | gdb-e6862a57fe1d368739166abfe82c145246d576cd.tar.gz |
* 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 531e188ac82..4fd42ed246c 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 |