X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2Fconfigure-bin.in;h=2c42b5256916b451671824bfd33d7153e73bb07b;hb=4ca3e08460d0b824cc819fdfb910116858dbcb3f;hp=b43fe23cf85ecaa5bdf98025b7e8df1e95c0f574;hpb=4d1399987676567c236f92e0e31d904669ae5571;p=ghc-hetmet.git

diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index b43fe23..2c42b52 100644
--- a/distrib/configure-bin.in
+++ b/distrib/configure-bin.in
@@ -44,6 +44,8 @@ i[[3456]]86-*-freebsd[[3-9]]*)
 	TargetPlatform=i386-unknown-freebsd;;
 i[[3456]]86-*-netbsd*)
 	TargetPlatform=i386-unknown-netbsd;;
+i[[3456]]86-*-openbsd*)
+	TargetPlatform=i386-unknown-openbsd;;
 i[[3456]]86-*-solaris2*)
 	TargetPlatform=i386-unknown-solaris2;;
 i[[3456]]86-*-cygwin32*)
@@ -137,6 +139,6 @@ AC_OUTPUT(Makefile)
 
 echo "****************************************************"
 echo "Configuration done, ready to either 'make install'"
-echo "or 'make in-place', followed by 'make install-docs'."
+echo "or 'make in-place'."
 echo "(see README and INSTALL files for more info.)"
 echo "****************************************************"