diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index 7616f88a447..a3f66bac77e 100755 --- a/configure +++ b/configure @@ -3969,7 +3969,7 @@ fi *-mingw*) host_makefile_frag="config/mh-mingw" ;; - alpha*-*-linux*) + alpha*-linux*) host_makefile_frag="config/mh-alpha-linux" ;; hppa*-hp-hpux10*) |