X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2Fconfigure-bin.in;fp=distrib%2Fconfigure-bin.in;h=516f120485982279ea97b7f22795133a3bc07a1d;hb=23c94851fb2c98d345d913d35a5a12bbc3a346bd;hp=e83624efefc6e7e3f79e9e823e47361f178df657;hpb=f3386bdb5876d21e7ae876ad7b82f1517c5d643e;p=ghc-hetmet.git

diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index e83624e..516f120 100644
--- a/distrib/configure-bin.in
+++ b/distrib/configure-bin.in
@@ -24,8 +24,10 @@ TargetPlatform=`/bin/sh $srcdir/config.sub $target` || exit 1
 # We also record the architecture, vendor, and operating system (OS)
 # separately.
 case $TargetPlatform in
-alpha-dec-osf[[1234]]*)
+alpha-dec-osf[[12]]*)
 	TargetPlatform=alpha-dec-osf1;;
+alpha-dec-osf[[34]]*)
+	TargetPlatform=alpha-dec-osf3;;
 hppa1.1-hp-hpux*)
 	TargetPlatform=hppa1.1-hp-hpux;;
 i[[3456]]86-*-linuxaout*)