diff --git a/ChangeLog b/ChangeLog index 8ab40c303b1..ec277cb36e2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +1998-09-30 Manfred Hollstein + + * configure.in (target_subdir): Remove duplicate line. + Mon Sep 28 04:04:27 1998 Jeffrey A Law (law@cygnus.com) * configure.in: Minor cleanups for building in the $(target_alias) diff --git a/configure.in b/configure.in index df7c4041f03..fff3749a484 100644 --- a/configure.in +++ b/configure.in @@ -372,8 +372,7 @@ fi # We always want to use the same name for this directory, so that dejagnu # can reliably find it. target_subdir=${target_alias} - -target_subdir=${target_alias} + if [ ! -d ${target_subdir} ] ; then if mkdir ${target_subdir} ; then true else