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 | 70f15185be94730ec6436c655ac31407cd9679a0 (patch) | |
tree | 9d0b4b8b240c5c93f590d6e1db2971885112aa65 /configure.in | |
parent | dfb366da5a1b4af2f016ef6ce94d9cee02e74522 (diff) | |
download | newlib-70f15185be94730ec6436c655ac31407cd9679a0.zip newlib-70f15185be94730ec6436c655ac31407cd9679a0.tar.gz newlib-70f15185be94730ec6436c655ac31407cd9679a0.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 |