Use host_makefile_frag.

diff --git a/configure.in b/configure.in
index 8fc1791baf919f6bec1fe13739c2039fdb68e77d..09948957d949d58b29e0ecb8aa00de30f46b8de6 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -83,6 +83,7 @@ srcname="gnu development package"
 # per-host:
 
 case "${host}" in
+  alpha-dec-osf*)         host_makefile_frag=config/mh-alphaosf ;;
   m68k-apollo-sysv*)      host_makefile_frag=config/mh-apollo68 ;;
   m68k-apollo-bsd*)       host_makefile_frag=config/mh-a68bsd ;;
   m88k-motorola-sysv*)    host_makefile_frag=config/mh-delta88;;