diff options
| author | Joern Rennecke <joern.rennecke@embecosm.com> | 2005-03-30 22:36:33 +0400 |
|---|---|---|
| committer | Joern Rennecke <joern.rennecke@embecosm.com> | 2005-03-30 22:36:33 +0400 |
| commit | 5b5312972a9e3147ce3c704075d4c829043700fb (patch) | |
| tree | 23b784426e1f7a789a861e475e96cba6a4e8f334 /configure.in | |
| parent | 5b70a45665562d3c98d351c7a52fc44cc823e013 (diff) | |
* config/mh-mingw32: Delete.
* configure.in: Don't use it.
* configure: Regenerate.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 6f18852ca..64dad1b9f 100644 --- a/configure.in +++ b/configure.in @@ -893,7 +893,6 @@ case "${host}" in host_makefile_frag="config/mh-cygwin" ;; *-mingw32*) - host_makefile_frag="config/mh-mingw32" ;; *-interix*) host_makefile_frag="config/mh-interix" |