diff options
| author | manfred <manfred@138bc75d-0d04-0410-961f-82ee72b054a4> | 1998-09-29 23:50:57 +0000 |
|---|---|---|
| committer | manfred <manfred@138bc75d-0d04-0410-961f-82ee72b054a4> | 1998-09-29 23:50:57 +0000 |
| commit | 7bb9dd92952336ca80ed3c61ac450b54c653c3d7 (patch) | |
| tree | d0d9b78e029086992f35985a414d05ad73bfb509 /configure.in | |
| parent | 5162f0551b925db1e827661d6d34606f8dc3469d (diff) | |
| download | gcc-7bb9dd92952336ca80ed3c61ac450b54c653c3d7.tar.gz | |
�
* configure.in (target_subdir): Remove duplicate line.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@22656 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 3 |
1 files changed, 1 insertions, 2 deletions
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 |