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 | a84dbcb3d96d324aea07ac99f901ed7843687a42 (patch) | |
tree | 88c4d2c551c85f27368001a4d7d06e2b18bed302 /configure.in | |
parent | d9feb4e7bfd6d419ccc49092d750c480319b5614 (diff) | |
download | gdb-a84dbcb3d96d324aea07ac99f901ed7843687a42.zip gdb-a84dbcb3d96d324aea07ac99f901ed7843687a42.tar.gz gdb-a84dbcb3d96d324aea07ac99f901ed7843687a42.tar.bz2 |
* 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 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 |