TargetPlatform=alpha-dec-osf1;;
alpha-dec-osf[[34]]*)
TargetPlatform=alpha-dec-osf3;;
+alpha-unknown-linux)
+ TargetPlatform=alpha-unknown-linux;;
+alpha-unknown-freebsd*)
+ TargetPlatform=alpha-unknown-freebsd;;
hppa1.1-hp-hpux*)
TargetPlatform=hppa1.1-hp-hpux;;
i[[3456]]86-*-linuxaout*)
TargetPlatform=i386-unknown-linux;;
i[[3456]]86-*-freebsd2*)
TargetPlatform=i386-unknown-freebsd2;;
-i[[3456]]86-*-freebsd3*)
- TargetPlatform=i386-unknown-freebsd3;;
+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*)
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 "****************************************************"